494 search results - page 13 / 99 » Heap Building Bounds |
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
118
click to vote
JTRES
2010
ACM
14 years 10 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
75
Voted
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
ISORC
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper is on the construction of a fault-tolerant and responsive server subsystem in an application context where the subsystem is accessed through an asynchronous network by ...
AUSAI
2006
Springer
15 years 2 months ago
2006
Springer
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagati...