Steve Haynal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1998–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICASSP | Brute-force search of fast convolution algorithms. | Steve Haynal, Heidi Haynal |
| 2008 | MEMOCODE | A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
| 2000 | ICCD | Representing and Scheduling Looping Behavior Symbolically. | Steve Haynal, Forrest Brewer |
| 1999 | DAC | A Model for Scheduling Protocol-Constrained Components and Environments. | Steve Haynal, Forrest Brewer |
| 1998 | ICCAD | Efficient encoding for exact symbolic automata-based scheduling. | Steve Haynal, Forrest Brewer |