Forrest Brewer

	2011
49		Jian Zhen, Forrest Brewer, Volkan Rodoplu: Automated MAC Protocol Generation with Multiple Neighborhoods and Acknowledgments Based on Symbolic Monte Carlo Simulation. GLOBECOM 2011: 1-6
	2010
48		Jian Zhen, Forrest Brewer, Volkan Rodoplu: A Methodology for Optimal MAC Protocol Generation: Case Study of a Synchronous MAC Channel. GLOBECOM 2010: 1-6
47		Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer: Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). MEMOCODE 2010: 69-72
	2009
46		Forrest Brewer, James C. Hoe: 2009 MEMOCODE Co-Design Contest. MEMOCODE 2009: 66-68
45		Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood: Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. VLSI Design 2009: 407-412
44		Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood: Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. J. Low Power Electronics 5(3): 354-362 (2009)
	2008
43		Duarte Antunes, João Pedro Hespanha, Carlos Jorge Ferreira Silvestre, Nitin Kataria, Forrest Brewer: Computationally efficient methods for digital control. CDC 2008: 502-507
42		Greg Hoover, Forrest Brewer: Synthesizing Synchronous Elastic Flow Networks. DATE 2008: 306-311
41		Merritt Miller, Greg Hoover, Forrest Brewer: Pulse-mode link for robust, high speed communications. ISCAS 2008: 3073-3077
40		Greg Hoover, Forrest Brewer, Chris Gill: Latency-Insensitive Hardware/Software Interfaces. MEMOCODE 2008: 71-72
39		Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer: Advances in ESL Design. IEEE Design & Test of Computers 25(6): 520-526 (2008)
	2007
38		Greg Hoover, Forrest Brewer, Timothy Sherwood: Towards understanding architectural tradeoffs in MEMS closed-loop feedback control. CASES 2007: 95-102
37		Forrest Brewer, James C. Hoe: MEMOCODE 2007 Co-Design Contest. MEMOCODE 2007: 91-94
	2006
36		Greg Hoover, Forrest Brewer, Timothy Sherwood: Extensible control architectures. CASES 2006: 323-333
35		Greg Hoover, Forrest Brewer, Timothy Sherwood: A case study of multi-threading in the embedded space. CASES 2006: 357-367
34		Ryan Kastner, Wenrui Gong, Xin Hao, Forrest Brewer, Adam Kaplan, Philip Brisk, Majid Sarrafzadeh: Layout driven data communication optimization for high level synthesis. DATE 2006: 1185-1190
	2005
33		Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer: Structural search for RTL with predicate learning. DAC 2005: 451-456
32		Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer: RTL SAT simplification by Boolean and interval arithmetic reasoning. ICCAD 2005: 297-302
31		Xin Hao, Forrest Brewer: Wirelength optimization by optimal block orientation. ICCAD 2005: 64-70
30		Aravind Vijayakumar, Forrest Brewer: Weighted control scheduling. ICCAD 2005: 777-783
29		Greg Hoover, Forrest Brewer: PyPBS design and methodologies. MEMOCODE 2005: 55-64
	2003
28		Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer: Buffer delay change in the presence of power and ground noise. IEEE Trans. VLSI Syst. 11(3): 461-473 (2003)
	2002
27		Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer: Coping with buffer delay change due to power and ground noise. DAC 2002: 860-865
26		Forrest Brewer, Steve Haynal: Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. VLSI Syst. 10(4): 429-434 (2002)
	2001
25		Steve Haynal, Forrest Brewer: Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers 50(3): 250-267 (2001)
	2000
24		Steve Haynal, Forrest Brewer: Representing and Scheduling Looping Behavior Symbolically. ICCD 2000: 552-555
23		Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Chung-Yang Huang, Forrest Brewer: AQUILA: An Equivalence Checking System for Large Sequential Designs. IEEE Trans. Computers 49(5): 443-464 (2000)
	1999
22		Steve Haynal, Forrest Brewer: A Model for Scheduling Protocol-Constrained Components and Environments. DAC 1999: 292-295
21		Hien Ha, Forrest Brewer: Power and signal integrity improvement in ultra high-speed current mode logic. ISCAS (1) 1999: 525-528
	1998
20		Steve Haynal, Forrest Brewer: Efficient encoding for exact symbolic automata-based scheduling. ICCAD 1998: 477-481
	1997
19		Chuck Monahan, Forrest Brewer: Scheduling and binding bounds for RT-level symbolic execution. ICCAD 1997: 230-235
	1996
18		Chuck Monahan, Forrest Brewer: Concurrent Analysis Techniques for Data Path Timing Optimization. DAC 1996: 47-50
17		Tony Stornetta, Forrest Brewer: Implementation of an Efficient Parallel BDD Package. DAC 1996: 641-644
16		Ashok Vittal, Hein Ha, Forrest Brewer, Malgorzata Marek-Sadowska: Clock skew optimization for ground bounce control. ICCAD 1996: 395-399
15		Ivan P. Radivojevic, Forrest Brewer: A new symbolic technique for control-dependent scheduling. IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 45-57 (1996)
	1995
14		Chuck Monahan, Forrest Brewer: Symbolic Modeling and Evaluation of Data Paths. DAC 1995: 389-394
13		Chuck Monahan, Forrest Brewer: Symbolic execution of data paths. Great Lakes Symposium on VLSI 1995: 80-85
12		Ivan P. Radivojevic, Forrest Brewer: Analysis of conditional resource sharing using a guard-based control representation. ICCD 1995: 434-445
11		Ivan P. Radivojevic, Forrest Brewer: Symbolic Scheduling Techniques. IEICE Transactions 78-D(3): 224-230 (1995)
	1994
10		Ivan P. Radivojevic, Forrest Brewer: Incorporating Speculative Execution in Exact Control-Dependent Scheduling. DAC 1994: 479-484
9		Andrew Seawright, Forrest Brewer: Clairvoyant: a synthesis system for production-based specification. IEEE Trans. VLSI Syst. 2(2): 172-185 (1994)
	1993
8		Andrew Seawright, Forrest Brewer: High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. DAC 1993: 424-428
	1992
7		Andrew Seawright, Forrest Brewer: Synthesis from Production-Based Specifications. DAC 1992: 194-199
	1991
6		Barry M. Pangrle, Forrest Brewer, Donald Lobo, Andrew Seawright: Relevant Issues in High-Level Connectivity Synthesis. DAC 1991: 607-610
5		Mario Nemirovsky, Forrest Brewer, Roger C. Wood: DISC: Dynamic Instruction Stream Computer. MICRO 1991: 163-171
	1990
4		Forrest Brewer, Barry M. Pangrle, Andrew Seawright: Interconnection synthesis with geometric constraints. MICRO 1990: 158-165
3		Forrest Brewer, Daniel D. Gajski: Chippe: a system for constraint driven behavioral synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(7): 681-695 (1990)
	1987
2		Forrest Brewer, Daniel Gajski: Knowledge Based Control in Micro-Architecture Design. DAC 1987: 203-209
	1986
1		Forrest Brewer, Daniel Gajski: An expert-system paradigm for design. DAC 1986: 62-68

Coauthor Index

1	Abhinav Agarwal	[47]
2	Duarte Antunes	[43]
3	Arvind	[39]
4	Gérard Berry	[39]
5	Philip Brisk	[34]
6	Kuang-Chien Chen	[23]
7	Lauren Hui Chen	[27] [28]
8	Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng)	[23] [32] [33]
9	Joel S. Emer	[47]
10	Daniel Gajski (Daniel D. Gajski)	[1] [2] [3]
11	Chris Gill	[40]
12	Wenrui Gong	[34]
13	Rajesh K. Gupta (Rajesh Gupta)	[39]
14	Hein Ha	[16]
15	Hien Ha	[21]
16	Xin Hao	[31] [34]
17	Steve Haynal	[20] [22] [24] [25] [26]
18	João Pedro Hespanha (João P. Hespanha)	[43] [44] [45]
19	James C. Hoe	[37] [46]
20	Greg Hoover	[29] [35] [36] [38] [40] [41] [42]
21	Chung-Yang Huang (Chung-Yang (Ric) Huang)	[23]
22	Shi-Yu Huang	[23]
23	Madhu K. Iyer	[32] [33]
24	Adam Kaplan	[34]
25	Ryan Kastner	[34]
26	Nitin Kataria	[43] [44] [45]
27	Asif Khan	[47]
28	Donald Lobo	[6]
29	Malgorzata Marek-Sadowska	[16] [27] [28]
30	Merritt Miller	[41]
31	Chuck Monahan	[13] [14] [18] [19]
32	Mario Nemirovsky	[5]
33	Man Cheuk Ng	[47]
34	Barry M. Pangrle	[4] [6]
35	Ganapathy Parthasarathy	[32] [33]
36	Michael Pellauer	[47]
37	Ivan P. Radivojevic	[10] [11] [12] [15]
38	Volkan Rodoplu	[48] [49]
39	Majid Sarrafzadeh	[34]
40	Andrew Seawright	[4] [6] [7] [8] [9]
41	Timothy Sherwood	[35] [36] [38] [44] [45]
42	Carlos Silvestre (Carlos Jorge Ferreira Silvestre)	[43]
43	Tony Stornetta	[17]
44	Aravind Vijayakumar	[30]
45	Muralidaran Vijayaraghavan	[47]
46	Ashok Vittal	[16]
47	Roger C. Wood	[5]
48	Jian Zhen	[48] [49]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page