Sciweavers

1243 search results - page 117 / 249
» Operating System Support for Distributed Multimedia
Sort
View
PODC
1990
ACM
15 years 5 months ago
Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
Shlomi Dolev, Amos Israeli, Shlomo Moran
SRDS
2006
IEEE
15 years 7 months ago
AVCast : New Approaches For Implementing Availability-Dependent Reliability for Multicast Receivers
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
Thadpong Pongthawornkamol, Indranil Gupta
112
Voted
OSDI
1996
ACM
15 years 2 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher
119
Voted
FLAIRS
2003
15 years 3 months ago
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
William J. Clancey, Maarten Sierhuis, Charis Kaski...
ICAS
2006
IEEE
140views Robotics» more  ICAS 2006»
15 years 7 months ago
Control System Framework for Autonomous Robots Based on Extended State Machines
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
Torsten Merz, Piotr Rudol, Mariusz Wzorek