Searching for authors named "Forrest Brewer" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Symbolic Modeling and Evaluation of Data Paths
- … Forrest Brewer Department of Electrical and Computer Engineering University of California, Santa Barbara…
- Cited by 9 (3 self) – Add To MetaCart
-
Scheduling and Binding Bounds for RT-Level Symbolic Execution
- … Execution * Chuck Monahan Forrest Brewer Department of Electrical and Computer Engineering University…
- Cited by 3 (1 self) – Add To MetaCart
-
Concurrent Analysis Techniques for Data Path Timing Optimization
- … Analysis Techniques for Data Path Timing Optimization * Chuck Monahan Forrest Brewer Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Implementation of an efficient parallel BDD package
- …Implementation of an Efficient Parallel BDD Package Tony Stornetta Forrest Brewer Department…
- Cited by 37 (0 self) – Add To MetaCart
-
Efficient encoding for exact symbolic automatabased scheduling
- …Efficient Encoding for Exact Symbolic Automata-Based Scheduling Steve Haynal Forrest Brewer…
- Cited by 7 (1 self) – Add To MetaCart
-
Coping with buffer delay change due to power and ground noise
- …-Sadowska**, Forrest Brewer** *Avant! Corp., Fremont, CA 94538, USA ** Electrical and Computer Engineering Department…
- Cited by 3 (1 self) – Add To MetaCart
-
Buffer delay change in the presence of power and ground noise
- …-Sadowska**, Forrest Brewer** *Synopsys Inc., Mountain View, CA, USA ** Electrical and Computer Engineering Department…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 7.
