1032 search results - page 70 / 207 » Implementing a Register in a Dynamic Distributed System |
134
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
PODC
2009
ACM
16 years 2 months ago
2009
ACM
This paper deals with the emulation of atomic read/write (R/W) storage in dynamic asynchronous message passing systems. In static settings, it is well known that atomic R/W storag...
126
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
139
click to vote
MOBIQUITOUS
2008
IEEE
15 years 8 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
121
click to vote
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...