TimeC: A Time Constraint Language for ILP Processor Compilation.

Allen Leung Krishna V. Palem Amir Pnueli

Published in: Constraints An Int. J. (2002)

Keyphrases

constraint language
integrity constraints
inductive logic programming
constraint networks
object oriented
modeling language
metamodel
high speed
process model
relational learning
background knowledge
learning process
instruction scheduling
databases
parallel processing
upper bound
state space
low level
case study