TimeC: A time constraint language for ILP processor compilation

DOI10.1023/A:1015131814255MaRDI QIDQ698076zbMATH OpenOpenAlexFDO

Authors Krishna Palem, Amir Pnueli, Allen Y. Leung

Publication date 18 September 2002

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1015131814255

zbMATH Keywords

embedded systemsreal-time systemstiming constraintscompiler optimizationsinstruction scheduling

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1497788
• scientific article; zbMATH DE number 2084713
• Lectures on Concurrency and Petri Nets
• A timed concurrent constraint language.
• scientific article; zbMATH DE number 1809625
• Logic Programming
• Timed default concurrent constraint programming
• scientific article; zbMATH DE number 2087501
• scientific article; zbMATH DE number 2084776

Cited in

(3)

• scientific article; zbMATH DE number 2017343 (Why is no real title available?)
• The arrow of time through the lens of computing
• TST - an algorithm for global microcode compaction with timing constraints

This page was built for publication: TimeC: A time constraint language for ILP processor compilation

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