Efficient encoding for exact symbolic automata-based scheduling

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1998, Pages 477-481

  Haynal, Steve ^a   Brewer, Forrest ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; ENCODING (SYMBOLS); SCHEDULING;

AUTOMATA-BASED SCHEDULING; BINARY DECISION DIAGRAMS (BDD);

COMPUTER AIDED DESIGN;

EID: 0032319164     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288548.289074     Document Type: Conference Paper

References (10)