4604 search results - page 712 / 921 » Concurrency in Synchronous Systems |
SUTC
2006
IEEE
14 years 4 months ago
2006
IEEE
Amidst the numerous active research efforts in wireless sensor networks which aim to push beyond the limits, we aim to significantly enhance the effectiveness of wireless sensors ...
HPDC
2005
IEEE
14 years 4 months ago
2005
IEEE
Mega grids span several continents and may consist of millions of nodes and billions of tasks executing at any point in time. This setup calls for scalable and highly available re...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
FSTTCS
2005
Springer
14 years 4 months 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...
IFM
2005
Springer
14 years 4 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...