940 search results - page 126 / 188 » Control Abstractions for Local Search |
125
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
126
Voted
SSS
2007
Springer
15 years 9 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
155
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...
127
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a system for aggregating heterogeneous resources from distinct administrative domains into an enterprise-wide compute grid, such that the aggregated resource provides ...
129
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...