Sciweavers

2674 search results - page 264 / 535
» On architecture transparency in operating systems
Sort
View
ICDCS
2008
IEEE
16 years 1 months ago
stdchk: A Checkpoint Storage System for Desktop Grid Computing
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
Samer Al-Kiswany, Matei Ripeanu, Sudharshan S. Vaz...
181
Voted
SAC
2005
ACM
16 years 10 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
156
Voted
ICMI
2004
Springer
120views Biometrics» more  ICMI 2004»
16 years 4 days ago
M/ORIS: a medical/operating room interaction system
We propose an architecture for a real-time multimodal system, which provides non-contact, adaptive user interfacing for Computer-Assisted Surgery (CAS). The system, called M/ORIS ...
Sébastien Grange, Terrence Fong, Charles Ba...
BILDMED
2007
142views Algorithms» more  BILDMED 2007»
15 years 8 months ago
Interfacing Global and Local CBIR Systems for Medical Image Retrieval
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...