Loading...
conference paper
Scheduling of Dynamic Dataflow Programs with Model Checking
2011
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Type
conference paper
Authors
Publication date
2011
Published in
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Start page
37
End page
42
Peer reviewed
REVIEWED
EPFL units
| Event name | Event place | Event date |
Beirut, Lebanon | Oct. 4-7, 2011 | |
Available on Infoscience
January 4, 2012
Use this identifier to reference this record