scientific article; zbMATH DE number 2088657

MaRDI QIDQ3045254zbMATHFDO

Authors Jordi Cortadella, Alex Kondratiev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600080.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 2112980
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• scientific article; zbMATH DE number 1497853
• scientific article; zbMATH DE number 177523
• scientific article; zbMATH DE number 177246

Cited in

(4)

• Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
• Analysis of reactive deadlock-free scheduling in flexible job shops
• Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
• scientific article; zbMATH DE number 2112980 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045254)