786 search results - page 14 / 158 » A static theory of promises |
158
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
160
click to vote
ENTCS
2008
15 years 6 months ago
2008
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
167
click to vote
ICC
2008
IEEE
16 years 15 days ago
2008
IEEE
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
159
click to vote
ICNP
2005
IEEE
15 years 11 months ago
2005
IEEE
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 failure affec...
144
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...