786 search results - page 15 / 158 » A static theory of promises |
TON
2008
14 years 9 months ago
2008
Abstract--In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node fail...
POPL
2011
ACM
14 years 20 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
PODS
2008
ACM
15 years 10 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
In this paper, we propose a new sensitivity based, statistical gate sizing method. Since circuit optimization effects the entire shape of the circuit delay distribution, it is dif...
CPHYSICS
2008
14 years 10 months ago
2008
In this paper, we present a short review as well as novel results on a recently established counterintuitive phenomenon of cluster aggregation of particles that interact via purel...