1690 search results - page 204 / 338 » Algorithmic Properties of Millstream Systems |
121
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
— We consider a formation control system where individual systems are controlled by a path-following design and the path variables are to be synchronized. We first show a passiv...
166
click to vote
GVD
2003
15 years 6 months ago
2003
Several mapping schemes have recently been proposed to store XML data in relational tables. Relational database systems are readily available and can handle vast amounts of data v...
131
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
140
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
The Write-All problem for an asynchronous shared-memory system has the objective for the processes to update the contents of a set of shared registers, while minimizing the mber o...
131
click to vote
ICDCS
1996
IEEE
15 years 9 months ago
1996
IEEE
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...