Steve Haynal

	2011
8		Steve Haynal, Heidi Haynal: Generating and Searching Families of FFT Algorithms CoRR abs/1103.5740: (2011)
7		Steve Haynal, Heidi Haynal: Generating and Searching Families of FFT Algorithms. JSAT 7(4): 145-187 (2011)
	2008
6		Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang: A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE 2008: 79-88
	2002
5		Forrest Brewer, Steve Haynal: Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. VLSI Syst. 10(4): 429-434 (2002)
	2001
4		Steve Haynal, Forrest Brewer: Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers 50(3): 250-267 (2001)
	2000
3		Steve Haynal, Forrest Brewer: Representing and Scheduling Looping Behavior Symbolically. ICCD 2000: 552-555
	1999
2		Steve Haynal, Forrest Brewer: A Model for Scheduling Protocol-Constrained Components and Environments. DAC 1999: 292-295
	1998
1		Steve Haynal, Forrest Brewer: Efficient encoding for exact symbolic automata-based scheduling. ICCAD 1998: 477-481

Coauthor Index

1	Forrest Brewer	[1] [2] [3] [4] [5]
2	Heidi Haynal	[7] [8]
3	Timothy Kam	[6]
4	Michael Kishinevsky	[6]
5	Emily Shriver	[6]
6	Xinning Wang	[6]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page