971 search results - page 113 / 195 » Planning with Reduced Operator Sets |
206
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
152
click to vote
SYSTOR
2009
ACM
16 years 24 days ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
183
click to vote
PPOPP
1997
ACM
15 years 10 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
191
click to vote
TKDE
2010
15 years 4 months ago
2010
— The data management community has recently begun to consider declarative network routing and distributed acquisition: e.g., sensor networks that execute queries about contiguou...
182
click to vote
TIM
2010
15 years 1 months ago
2010
A distributed telerobotic system is proposed based on a master-arm station that is interconnected by a computer network to a slave-arm station. The distributed telerobotic system i...