David K. Wittenberg

Publication Activity (10 Years)

Years Active: 1999-2016
Publications (10 Years): 1

Top Topics

Hardware And Software

Energy Management

Top Venues

Publications

David K. Wittenberg, Edin Kadric, André DeHon, Jonathan Edwards, Jeffrey Smith, Silviu Chiricescu
PERFECT case studies demonstrating order of magnitude reduction in power consumption. HPEC (2016)
Udit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David K. Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan
Hardware Support for Safety Interlocks and Introspection. SASO Workshops (2012)
John T. Langton, Astrid A. Prinz, David K. Wittenberg, Timothy J. Hickey
Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries. VIEW (2006)
Timothy J. Hickey, David K. Wittenberg
Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS Conference (2004)
Timothy J. Hickey, David K. Wittenberg
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. HSCC (2004)
Timothy J. Hickey, David K. Wittenberg
Validated Constraint Compilation. CP (1999)