413 search results - page 53 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
97
Voted
CORR
1998
Springer
15 years 1 months ago
1998
Springer
As the speed and the dynamic range of computer networks evolve, the issue of ecient trac management becomes increasingly important. This work describes an approach to trac mana...
123
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. Sensor networks monitor physical phenomena over large geographic regions. Scientists can gain valuable insight into these phenomena, if they understand the underlying dat...
143
click to vote
HPDC
2002
IEEE
15 years 7 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
127
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
118
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...