AsmL Specification of a Ptolemy II Scheduler.

Daniel Lázaro Cuadrado Peter Koch Anders P. Ravn

Published in: Abstract State Machines (2003)

Keyphrases

scheduling algorithm
high level
user defined
formal specification
image processing
specification language
resource utilization
data sets
neural network
metadata
formal methods
formal verification