2875 search results - page 50 / 575 » Distributed Reactive Machines |
143
click to vote
AHSWN
2006
15 years 6 months ago
2006
Knowing or being able to measure the "path density" at sources of communications is essential to provide fair capacity distribution between sessions in multi-hop ad hoc ...
168
click to vote
LCPC
1997
Springer
15 years 10 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
296
click to vote
NFM
2011
15 years 27 days ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
151
click to vote
CGI
2003
IEEE
15 years 11 months ago
2003
IEEE
Visualization of distributed processes is useful for the management of large-scale distributed computing systems. Reactivity and scalability are especially important requirements ...
172
click to vote
USENIX
1990
15 years 7 months ago
1990
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...