Sciweavers

1755 search results - page 230 / 351
» Design and Implementation of Virtual Organizations
Sort
View
JTRES
2010
ACM
15 years 4 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
IJPP
2008
148views more  IJPP 2008»
15 years 4 months ago
Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng
IBMRD
2006
63views more  IBMRD 2006»
15 years 4 months ago
Decomposing the load-store queue by function for power reduction and scalability
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
Lee Baugh, Craig B. Zilles
JBI
2008
155views Bioinformatics» more  JBI 2008»
15 years 4 months ago
Grand challenges in clinical decision support
There is a pressing need for high-quality, effective means of designing, developing, presenting, implementing, evaluating, and maintaining all types of clinical decision support c...
Dean F. Sittig, Adam Wright, Jerome A. Osheroff, B...
KES
2006
Springer
15 years 4 months ago
Fuzzy-Evolutionary Synergism in an Intelligent Medical Diagnosis System
In this paper, we present the design, implementation and evaluation of HIGAS, a hybrid intelligent system that deals with diagnosis and treatment consultation of acid-base disturba...
Constantinos Koutsojannis, Ioannis Hatzilygeroudis