457 search results - page 26 / 92 » Construction of a Highly Dependable Operating System |
REST
2010
ACM
14 years 24 days ago
2010
ACM
Traditionally, distributed computing problems have been solved by partitioning data into chunks able to be handled by commodity hardware. Such partitioning is not possible in case...
HICSS
1997
IEEE
14 years 20 days ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
MICCAI
2001
Springer
14 years 27 days ago
2001
Springer
The quality of ultrasound based diagnosis highly depends on the operator’s skills. Some healthcare centres may not have the required medical experts on hand when needed and there...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
LICS
1989
IEEE
13 years 12 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...