2520 search results - page 214 / 504 » Model-checking behavioral programs |
170
click to vote
DCOSS
2005
Springer
16 years 1 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
175
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Memory traces record the addresses touched by a program during its execution, enabling many useful investigations for understanding and predicting program performance. But complete...
162
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...
187
click to vote
OSDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...
182
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...