Transport-Triggering versus Operation-Triggering
No abstract available.
Related papers
- Comparing Software Pipelining for an Operation-Triggered and a Tarnsport-Triggered Architecture CC 1992
- An Abstraction-Refinement Framework for Trigger Querying SAS 2011
- TRIM: A Tool for Triggered Message Sequence Charts CAV 2003
- Software data-triggered threads OOPSLA 2012
- Trigger Selection Strategies to Stabilize Program Verifiers CAV 2016
- FPCC: Detecting Floating-Point Errors via Chain Conditions OOPSLA 2024
- Confluences in programming languages research (keynote) POPL 2016
- Sound input filter generation for integer overflow errors POPL 2014