conference paper
Scheduling of Dynamic Dataflow Programs with Model Checking
2011
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Type
conference paper
Author(s)
Date Issued
2011
Published in
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Start page
37
End page
42
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
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