1906 search results - page 97 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
138
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
One approach to high-performance processing of massive data sets is to incorporate computation into storage systems. Previous work has shown that this active storage model is effe...
118
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
185
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
127
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
152
Voted
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...