Steve Haynal

Publication Activity (10 Years)

Years Active: 1998-2013
Publications (10 Years): 0

Top Topics

Optimization Problems

Brute Force Search

Top Venues

Publications

Steve Haynal, Heidi Haynal
Brute-force search of fast convolution algorithms. ICASSP (2013)
Steve Haynal, Heidi Haynal
Generating and Searching Families of FFT Algorithms CoRR (2011)
Steve Haynal, Heidi Haynal
Generating and Searching Families of FFT Algorithms. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE (2008)
Forrest Brewer, Steve Haynal
Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. Very Large Scale Integr. Syst. 10 (4) (2002)
Steve Haynal, Forrest Brewer
Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers 50 (3) (2001)
Steve Haynal, Forrest Brewer
Representing and Scheduling Looping Behavior Symbolically. ICCD (2000)
Steve Haynal, Forrest Brewer
A Model for Scheduling Protocol-Constrained Components and Environments. DAC (1999)
Steve Haynal, Forrest Brewer
Efficient encoding for exact symbolic automata-based scheduling. ICCAD (1998)