2451 search results - page 142 / 491 » The Octagon Abstract Domain |
300
Voted
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
181
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
192
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Conceptually, fast server-side page cache storage could dramatically reduce paging I/O. In this extended abstract, we speculate how such a device might be used, then show how it c...
176
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper describes our successful implementation of a robot that autonomously and strategically removes multiple blocks from an unstable Jenga tower. We present an in...
209
Voted
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...