Sign in
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction.
Jiajie Wang
Michael Mendler
Partha S. Roop
Bruno Bodin
Published in:
ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
</>
hardware designs
data model
high level
relational algebra
query language
fault tolerance
scalable video coding
database systems
answer sets
computer programs
stable models
scalability issues
java programs
asynchronous communication
algebraic structure
provably correct
real time