617 search results - page 103 / 124 » Debugging distributed programs using controlled re-execution |
128
Voted
VTC
2008
IEEE
15 years 10 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...
126
Voted
CONCUR
2007
Springer
15 years 9 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...
152
Voted
HOTNETS
2010
14 years 10 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...
126
Voted
GCC
2003
Springer
15 years 9 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...
135
Voted
WEBNET
2000
15 years 5 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...