617 search results - page 103 / 124 » Debugging distributed programs using controlled re-execution |
119
click to vote
VTC
2008
IEEE
15 years 8 months ago
2008
IEEE
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...
113
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
142
Voted
HOTNETS
2010
14 years 9 months ago
2010
Abstract-- We argue that heterogeneity is hindering technological innovation in the home--homes differ in terms of their devices and how those devices are connected and used. To ab...
111
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
A fundamental problem that confronts Shanghai Information Grid is to adopt a good Grid toolkit, since the “de facto” standard Globus Toolkit does not support Information Grid w...
125
Voted
WEBNET
2000
15 years 3 months ago
2000
: As the Web grows in importance in institutional settings, so does the need for training. Universities are looking at the daunting task of putting more information and services on...