674 search results - page 58 / 135 » Resource Bound Certification |
102
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
136
click to vote
MIDDLEWARE
2010
Springer
14 years 10 months ago
2010
Springer
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--This paper presents a Cross-layer Network Management System (NMS) that allows Service Providers (SPs) to perform cost-effective network resource reservations with their N...
106
click to vote
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
ENTCS
2006
14 years 12 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...