Verifying Clock Schedules in the Presence of Cross Talk.

Soha Hassoun Eduardo H. Calvillo Gámez Christopher Cromer

Published in: DATE (2002)

Keyphrases

scheduling problem
power consumption
computer vision
object recognition
high speed
real time
databases
information systems
pattern recognition
expert systems
pairwise
relational databases
multiresolution
model checking
integer programming