Observable Time Windows: Verifying the Results of High-Level Synthesis.

Reinaldo A. Bergamaschi Salil Raje

Published in: ED&TC (1996)

Keyphrases

high level synthesis
vehicle routing
parallel architecture
model checking
vehicle routing problem
design space exploration
image processing
pattern recognition
computer science
image analysis
intelligent agents
traveling salesman problem
agent architecture