The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Forrest Brewer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Greg Hoover, Forrest Brewer, Timothy Sherwood
    Extensible control architectures. [Citation Graph (0, 0)][DBLP]
    CASES, 2006, pp:323-333 [Conf]
  2. Greg Hoover, Forrest Brewer, Timothy Sherwood
    A case study of multi-threading in the embedded space. [Citation Graph (0, 0)][DBLP]
    CASES, 2006, pp:357-367 [Conf]
  3. Forrest Brewer, Daniel Gajski
    An expert-system paradigm for design. [Citation Graph (0, 0)][DBLP]
    DAC, 1986, pp:62-68 [Conf]
  4. Forrest Brewer, Daniel Gajski
    Knowledge Based Control in Micro-Architecture Design. [Citation Graph (0, 0)][DBLP]
    DAC, 1987, pp:203-209 [Conf]
  5. Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer
    Coping with buffer delay change due to power and ground noise. [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:860-865 [Conf]
  6. Steve Haynal, Forrest Brewer
    A Model for Scheduling Protocol-Constrained Components and Environments. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:292-295 [Conf]
  7. Chuck Monahan, Forrest Brewer
    Symbolic Modeling and Evaluation of Data Paths. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:389-394 [Conf]
  8. Chuck Monahan, Forrest Brewer
    Concurrent Analysis Techniques for Data Path Timing Optimization. [Citation Graph (0, 0)][DBLP]
    DAC, 1996, pp:47-50 [Conf]
  9. Barry M. Pangrle, Forrest Brewer, Donald Lobo, Andrew Seawright
    Relevant Issues in High-Level Connectivity Synthesis. [Citation Graph (0, 0)][DBLP]
    DAC, 1991, pp:607-610 [Conf]
  10. Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer
    Structural search for RTL with predicate learning. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:451-456 [Conf]
  11. Ivan P. Radivojevic, Forrest Brewer
    Incorporating Speculative Execution in Exact Control-Dependent Scheduling. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:479-484 [Conf]
  12. Andrew Seawright, Forrest Brewer
    Synthesis from Production-Based Specifications. [Citation Graph (0, 0)][DBLP]
    DAC, 1992, pp:194-199 [Conf]
  13. Andrew Seawright, Forrest Brewer
    High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:424-428 [Conf]
  14. Tony Stornetta, Forrest Brewer
    Implementation of an Efficient Parallel BDD Package. [Citation Graph (0, 0)][DBLP]
    DAC, 1996, pp:641-644 [Conf]
  15. Ryan Kastner, Wenrui Gong, Xin Hao, Forrest Brewer, Adam Kaplan, Philip Brisk, Majid Sarrafzadeh
    Layout driven data communication optimization for high level synthesis. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:1185-1190 [Conf]
  16. Chuck Monahan, Forrest Brewer
    Symbolic execution of data paths. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1995, pp:80-85 [Conf]
  17. Xin Hao, Forrest Brewer
    Wirelength optimization by optimal block orientation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:64-70 [Conf]
  18. Steve Haynal, Forrest Brewer
    Efficient encoding for exact symbolic automata-based scheduling. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:477-481 [Conf]
  19. Chuck Monahan, Forrest Brewer
    Scheduling and binding bounds for RT-level symbolic execution. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1997, pp:230-235 [Conf]
  20. Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer
    RTL SAT simplification by Boolean and interval arithmetic reasoning. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:297-302 [Conf]
  21. Aravind Vijayakumar, Forrest Brewer
    Weighted control scheduling. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:777-783 [Conf]
  22. Ashok Vittal, Hein Ha, Forrest Brewer, Malgorzata Marek-Sadowska
    Clock skew optimization for ground bounce control. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1996, pp:395-399 [Conf]
  23. Steve Haynal, Forrest Brewer
    Representing and Scheduling Looping Behavior Symbolically. [Citation Graph (0, 0)][DBLP]
    ICCD, 2000, pp:552-555 [Conf]
  24. Ivan P. Radivojevic, Forrest Brewer
    Analysis of conditional resource sharing using a guard-based control representation. [Citation Graph (0, 0)][DBLP]
    ICCD, 1995, pp:434-445 [Conf]
  25. Hien Ha, Forrest Brewer
    Power and signal integrity improvement in ultra high-speed current mode logic. [Citation Graph (0, 0)][DBLP]
    ISCAS (1), 1999, pp:525-528 [Conf]
  26. Greg Hoover, Forrest Brewer
    PyPBS design and methodologies. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:55-64 [Conf]
  27. Forrest Brewer, Barry M. Pangrle, Andrew Seawright
    Interconnection synthesis with geometric constraints. [Citation Graph (0, 0)][DBLP]
    MICRO, 1990, pp:158-165 [Conf]
  28. Mario Nemirovsky, Forrest Brewer, Roger C. Wood
    DISC: Dynamic Instruction Stream Computer. [Citation Graph (0, 0)][DBLP]
    MICRO, 1991, pp:163-171 [Conf]
  29. Steve Haynal, Forrest Brewer
    Automata-Based Symbolic Scheduling for Looping DFGs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2001, v:50, n:3, pp:250-267 [Journal]
  30. Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Chung-Yang Huang, Forrest Brewer
    AQUILA: An Equivalence Checking System for Large Sequential Designs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2000, v:49, n:5, pp:443-464 [Journal]
  31. Forrest Brewer, Daniel D. Gajski
    Chippe: a system for constraint driven behavioral synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1990, v:9, n:7, pp:681-695 [Journal]
  32. Ivan P. Radivojevic, Forrest Brewer
    A new symbolic technique for control-dependent scheduling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:1, pp:45-57 [Journal]
  33. Greg Hoover, Forrest Brewer, Timothy Sherwood
    Towards understanding architectural tradeoffs in MEMS closed-loop feedback control. [Citation Graph (0, 0)][DBLP]
    CASES, 2007, pp:95-102 [Conf]
  34. Forrest Brewer, James C. Hoe
    MEMOCODE 2007 Co-Design Contest. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2007, pp:91-94 [Conf]
  35. Andrew Seawright, Forrest Brewer
    Clairvoyant: a synthesis system for production-based specification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 1994, v:2, n:2, pp:172-185 [Journal]
  36. Forrest Brewer, Steve Haynal
    Symbolic NFA scheduling of a RISC microprocessor. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2002, v:10, n:4, pp:429-434 [Journal]
  37. Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer
    Buffer delay change in the presence of power and ground noise. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2003, v:11, n:3, pp:461-473 [Journal]

  38. Synthesizing Synchronous Elastic Flow Networks. [Citation Graph (, )][DBLP]


  39. Pulse-mode link for robust, high speed communications. [Citation Graph (, )][DBLP]


  40. Latency-Insensitive Hardware/Software Interfaces. [Citation Graph (, )][DBLP]


  41. Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. [Citation Graph (, )][DBLP]


  42. Computationally efficient methods for digital control. [Citation Graph (, )][DBLP]


  43. Advances in ESL Design. [Citation Graph (, )][DBLP]


Search in 0.027secs, Finished in 0.029secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002