Algorithm for exact bounds on the time separation of events in concurrent systems

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1993, Pages 166-173

  Amon, Tod ^a   Hulgaard, Henrik ^a   Burns, Steven M ^a   Borriello, Gaetano ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; GRAPH THEORY; MATHEMATICAL MODELS; OPTIMIZATION; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

ARBITRARY PROCESS GRAPHS; CONCURRENT SYSTEMS; FUNCTIONAL DECOMPOSITION TECHNIQUE; LOGIC OPTIMIZATION; TIME SEPARATION OF EVENTS;

DIGITAL CIRCUITS;

EID: 0027831220     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)