5740 search results - page 1027 / 1148 » Dynamic Distributed BackJumping |
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
Wireless Sensor Networks (WSNs) are challenging types of networks where resources can be scarce. In particular, battery is often a very limited resource and the radio interface is...
MSN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Gossiping is a lightweight and simple technique for information dissemination in many application domains, be it in Wireless Sensor Networks (WSNs), Mobile Ad-hoc Network...
PPAM
2007
Springer
14 years 4 months ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
PVM
2007
Springer
14 years 4 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
SAMT
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...