David K. Wittenberg

According to our database, David K. Wittenberg authored at least 6 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

PERFECT case studies demonstrating order of magnitude reduction in power consumption.

David K. Wittenberg, Edin Kadric, André DeHon, Jonathan Edwards, Jeffrey Smith, Silviu Chiricescu

Proceedings of the 2016 IEEE High Performance Extreme Computing Conference, 2016

2012

Hardware Support for Safety Interlocks and Introspection.

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

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2006

Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries.

John T. Langton, Astrid A. Prinz, David K. Wittenberg, Timothy J. Hickey

Proceedings of the Pixelization Paradigm, First Visual Information Expert Workshop, 2006

2004

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.

Timothy J. Hickey, David K. Wittenberg

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Using Analytic CLP to Model and Analyze Hybrid Systems.

Timothy J. Hickey, David K. Wittenberg

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

1999

Validated Constraint Compilation.

Timothy J. Hickey, David K. Wittenberg

Proceedings of the Principles and Practice of Constraint Programming, 1999