1690 search results - page 42 / 338 » Algorithmic Properties of Millstream Systems |
124
Voted
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
119
Voted
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
126
Voted
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
140
Voted
SSS
2010
Springer
15 years 1 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
123
click to vote
AUTOMATICA
1999
15 years 3 months ago
1999
We develop and analyze an algorithm to maximize the throughput of a serial kanbanbased manufacturing system with arbitrary arrival and service process distributions by adjusting t...