6701 search results - page 1045 / 1341 » Medical Embedded Systems |
176
click to vote
FOCI
2007
IEEE
16 years 28 days ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
174
click to vote
ICDE
2007
IEEE
16 years 27 days ago
2007
IEEE
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...
157
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
206
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
179
click to vote
RTCSA
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper presents a real-time scheduling algorithm with high schedulability and few preemptions for multiprocessor systems. The algorithm is based on an unorthodox method called...