19 search results - page 2 / 4 » A Functional Scenario for Bytecode Verification of Resource ... |
ICLP
2007
Springer
13 years 9 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
CN
2007
13 years 5 months ago
2007
Eļ¬cient dynamic resource provisioning algorithms are necessary to the development and automation of Quality of Service (QoS) networks. The main goal of these algorithms is to oļ...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
JSS
2007
13 years 5 months ago
2007
Coordinated behavior of mobile robots is an important emerging application area. Diļ¬erent coordinated behaviors can be achieved by assigning sets of control tasks, or strategies...