scientific article; zbMATH DE number 2088657

zbMATH Open1047.68516MaRDI QIDQ3045254FDOQ3045254

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)

• Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
• Analysis of reactive deadlock-free scheduling in flexible job shops
• Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics
• Title not available (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)