2212 search results - page 226 / 443 » Automated software wrapping |
161
click to vote
GIS
2002
ACM
15 years 5 months ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
150
click to vote
AROBOTS
1999
15 years 5 months ago
1999
Excavators are used for the rapid removal of soil and other materials in mines, quarries, and construction sites. The automation of these machines offers promise for increasing pro...
170
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
279
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
155
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...