128 search results - page 10 / 26 » Forward Analysis of Depth-Bounded Processes |
FSTTCS
2005
Springer
14 years 28 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
ICNS
2009
IEEE
14 years 2 months ago
2009
IEEE
Combining end-host, server and router virtualization could offer isolated and malleable virtual networks of different types, owners and protocols, all sharing one physical infrast...
ACSC
2008
IEEE
14 years 1 months ago
2008
IEEE
The movement of items through a product distribution network is a complex dynamic process which depends not only on the network’s static topology but also on a knowledge of how ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...