Login / Signup
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.
Michael Mendler
Joaquín Aguado
Bruno Bodin
Partha S. Roop
Reinhard von Hanxleden
Published in:
Models, Mindsets, Meta (2018)
Keyphrases
</>
multithreading
boolean algebra
highly efficient
set theory
parallel computing
computational power
coarse grained
algebraic structure
fine grained
data partitioning
distributed memory
query language
memory efficient
parallel processing
shared memory
low cost
higher order