42738 search results - page 455 / 8548 » Search Computing Systems |
133
click to vote
MICCAI
2003
Springer
16 years 6 months ago
2003
Springer
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
153
click to vote
SP
2009
IEEE
15 years 12 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
155
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...
143
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
158
click to vote
AMC
2007
15 years 5 months ago
2007
In a distributed computing system (DCS), we need to allocate a number of modules to different processors for execution. It is desired to maximize the processor synergism in order...