3310 search results - page 524 / 662 » Aspect-aware operating system development |
151
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
197
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
165
click to vote
STACS
1997
Springer
15 years 10 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
163
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
We are developing a new problem-solving methodology based on a self-organization paradigm. To realize our future goal of self-organizing computational systems, we have to study co...
129
click to vote
PDIS
1994
IEEE
15 years 10 months ago
1994
IEEE
Four per-session guarantees are proposed to aid users and applications of weakly consistent replicated data: Read Your Writes, Monotonic Reads, Writes Follow Reads, and Monotonic ...