Types for Dynamic Reconfiguration
Abstract elided by the publisher.
Related papers
- ReCaml: execution state as the cornerstone of reconfigurations ICFP 2010
- A formal foundation for dynamic delta-oriented software product lines GPCE 2012
- Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs CC 2008
- Dynamic Node Reconfiguration in a Parallel-Distributed Environment PPoPP 1991
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- Parallel real-time garbage collection of multiple heaps in reconfigurable hardware ISMM 2014
- Retargetable and Reconfigurable Software Dynamic Translation CGO 2003
- The Reduceron reconfigured and re-evaluated JFP 2012