14244 search results - page 2166 / 2849 » Modeling Program Predictability |
190
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
156
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
208
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
162
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
176
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new fast semi-supervised image segmentation method based on augmented tree partitioning. Unlike many existing methods that use a graph structure to mod...