5548 search results - page 351 / 1110 » Programming a Distributed System Using Shared Objects |
135
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
106
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
162
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
139
Voted
PDPTA
1996
15 years 6 months ago
1996
This paper presents a taxonomy of parallel and distributed debuggers based on execution replay. Programming of distributed and parallel systems is a complex task. Amongst the many...
135
click to vote
DC
2010
15 years 4 months ago
2010
We introduce a simple liveness property for shared object implementations that is gracefully degrading depending on the degree of synchrony in each run. This property, called adapt...