Chuck Monahan

	1997
4		Chuck Monahan, Forrest Brewer: Scheduling and binding bounds for RT-level symbolic execution. ICCAD 1997: 230-235
	1996
3		Chuck Monahan, Forrest Brewer: Concurrent Analysis Techniques for Data Path Timing Optimization. DAC 1996: 47-50
	1995
2		Chuck Monahan, Forrest Brewer: Symbolic Modeling and Evaluation of Data Paths. DAC 1995: 389-394
1		Chuck Monahan, Forrest Brewer: Symbolic execution of data paths. Great Lakes Symposium on VLSI 1995: 80-85

Coauthor Index

1

Forrest Brewer

[1] [2] [3] [4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page