1888 search results - page 338 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
120
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
136
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
118
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
131
click to vote
USENIX
1996
15 years 3 months ago
1996
This paper describes a new method for providingtransparent fault tolerance for parallel applications on a network of workstations. We have designed our method in the context of sh...
122
Voted
CAD
2000
Springer
15 years 2 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...