Control generation for embedded systems based on composition of modal processes

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

Volumn , Issue , 1998, Pages 46-53

  Chou, Pai ^a   Hines, Ken ^a   Partridge, Kurt ^a   Borriello, Gaetano ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL OPERATORS; MODAL ANALYSIS;

HIGH-LEVEL COMPOSITION OPERATORS;

EMBEDDED SYSTEMS;

EID: 0032314733     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288548.288559     Document Type: Conference Paper

References (8)