2132 search results - page 212 / 427 » Automated software winnowing |
123
click to vote
WOA
2000
15 years 5 months ago
2000
The increasing number of competitors and the growing traffic demand are the main factors pushing for a more dynamic and flexible service demand allocation mechanism. Human interac...
121
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
139
click to vote
GIS
2002
ACM
15 years 3 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 ...
120
click to vote
AROBOTS
1999
15 years 3 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...
140
click to vote
LPAR
2010
Springer
15 years 1 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...