Analysis of Dynamic Process Networks
Abstract elided by the publisher.
Related papers
- A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes TACAS 2007
- The Denotational Semantics of Dynamic Networks of Processes TOPLAS 1985
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations PPoPP 2001
- Dynamic Node Reconfiguration in a Parallel-Distributed Environment PPoPP 1991
- Mailbox Types for Unordered Interactions ECOOP 2018
- Superneurons: dynamic GPU memory management for training deep neural networks PPoPP 2018
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation VMCAI 2011