1992 search results - page 306 / 399 » Memory modeling for system synthesis |
PODC
2010
ACM
15 years 2 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
PODC
1998
ACM
15 years 2 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
73
Voted
FODO
1989
Springer
15 years 2 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
TLDI
2009
ACM
15 years 7 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
111
click to vote
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....