Specification and analysis of timing constraints for embedded systems - Gupta, Rajesh K.; De Micheli, Giovanni 1955- (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1996)
Keywords: Embedded computer systems; Constraints (Artificial intelligence); Rate distortion theory; Constraint programming (Computer science)