20778 search results - page 4022 / 4156 » Algorithms for Data Migration |
129
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
130
Voted
EUROSYS
2007
ACM
16 years 18 days ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
160
Voted
EUROSYS
2007
ACM
16 years 18 days ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
154
click to vote
EWSN
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. We target application domains where the behavior of animals or humans is monitored using wireless sensor network (WSN) devices. The code on these devices is updated frequ...
132
Voted
EUROGRAPHICS
2010
Eurographics
16 years 17 days ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...