1982 search results - page 219 / 397 » Designing Efficient Distributed Algorithms Using Sampling Te... |
134
Voted
CSCLP
2007
Springer
15 years 9 months ago
2007
Springer
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
155
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
140
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
119
Voted
IJRR
2000
15 years 3 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
128
Voted
ICCAD
2004
IEEE
16 years 10 days ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...