Sciweavers

2595 search results - page 265 / 519
» Modes in Asynchronous Systems
Sort
View
HASE
2008
IEEE
16 years 1 months ago
On the Integrity of Lightweight Checkpoints
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
Raul Barbosa, Johan Karlsson
HYBRID
2003
Springer
15 years 12 months ago
Hybrid Control Design for a Wheeled Mobile Robot
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
Thomas Bak, Jan Bendtsen, Anders P. Ravn
ERSHOV
1993
Springer
15 years 10 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
WWW
2002
ACM
16 years 7 months ago
Clustering for opportunistic communication
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
Jay Budzik, Shannon Bradshaw, Xiaobin Fu, Kristian...
INTERACT
2003
15 years 8 months ago
Godzilla: Seamless 2D and 3D Sketch Environment for Reflective and Creative Design Work
The rapid development of information technology has enabled many systems that support creative work. However, it has gradually become obvious that the latest information systems h...
Shun'ichi Tano, T. Kodera, T. Nakashima, I. Kawano...