Sciweavers

2016 search results - page 1 / 404
» Distributed error confinement
Sort
View
TALG
2010
93views more  TALG 2010»
13 years 15 days ago
Distributed error confinement
We initiate the study of error confinement in distributed applications, where the goal is that only nodes that were directly hit by a fault may deviate from their correct external...
Yossi Azar, Shay Kutten, Boaz Patt-Shamir
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
13 years 3 months ago
Mapping opaque and confined environments using proprioception
Mapping opaque and confined environments such as caves and pipes is a challenging problem for mobile robots because sensor information is severely limited to the immediate proximit...
Jacob Everist, Wei-Min Shen
PLDI
2003
ACM
13 years 11 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...