Symbolic range propagation

IEEE Symposium on Parallel and Distributed Processing - Proceedings

Volumn , Issue , 1995, Pages 357-363

  Blume, William ^a   Eigenmann, Rudolf ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; INTERFACES (COMPUTER); PARALLEL ALGORITHMS; PROGRAM COMPILERS; PROGRAM PROCESSORS; THEOREM PROVING;

INDUCTION VARIABLES SUBSTITUTION; LOOP PEELING; LOWER BOUNDS; PARALLELIZING COMPILER; SYMBOLIC DATA DEPENDENCE TESTS; SYMBOLIC RANGE PROPAGATION; UPPER BOUNDS;

PARALLEL PROCESSING SYSTEMS;

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

References (16)