3831 search results - page 282 / 767 » Dynamic Context Logic |
206
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
200
Voted
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
268
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
126
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
150
Voted
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...