Research


Conference Papers

Latency-Insensitive Hardware/Software Interfaces
Greg Hoover, Forrest Brewer, Chris Gill
Formal Methods and Models for Co-Design (MEMOCODE) 2008
Pulse-Mode Link for Robust, High Speed On-Chip Communications
Merrit Miller, Greg Hoover, Forrest Brewer
IEEE International Symposium on Circuits and Systems (ISCAS) 2008
Synthesizing Synchronous Elastic Flow Networks
Greg Hoover, Forrest Brewer
Design, Automation, and Test in Europe (DATE) 2008
Structural Integrity: Safety in miniature technology
Greg Hoover, Timothy Sherwood, Forrest Brewer
Cyber-Physical Special Session at Real-Time Systems Symposium (RTSS) 2007
Best Interdisciplinary Research Award
Towards Understanding Architectural Tradeoffs in MEMS Closed-Loop Feedback Control
Greg Hoover, Timothy Sherwood, Forrest Brewer
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) 2007
Extensible Control Architectures
Greg Hoover, Timothy Sherwood, Forrest Brewer
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) 2006
A Case Study of Multi-Threading in the Embedded Space
Greg Hoover, Timothy Sherwood, Forrest Brewer
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) 2006
PyPBS Design and Methodologies
Greg Hoover, Forrest Brewer
Formal Methods and Models for Co-Design (MEMOCODE) 2005
Fault Tolerant Finite State Control using Low Density Parity Checking
Greg Hoover, Forrest Brewer
NASA Symposium on VLSI 2005