1 – 3 of 3
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2017
-
Mark
AutoSAC: automatic scaling and admission control of forwarding graphs
2017) In Annales des Telecommunications(
- Contribution to journal › Article
- 2013
-
Mark
Automated extraction of scenario sequences from disciplined dataflow networks
2013) 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 In 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 p.47-56(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2000
-
Mark
A Feedback Scheduler for Real-Time Controller Tasks
(
- Contribution to journal › Article