Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language.

Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau

Browse the full VLSID paper archive.