TimeC: A time constraint language for ILP processor compilation

DOI10.1023/A:1015131814255zbMATH Open1019.68028OpenAlexW1533857661MaRDI QIDQ698076FDOQ698076

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

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

zbMATH Keywords

embedded systemsreal-time systemstiming constraintscompiler optimizationsinstruction scheduling

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (3)

• Title not available (Why is that?)
• 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)