David Wittenberg
David Wittenberg
Bilinmeyen bağlantı
cs.brandeis.edu üzerinde doğrulanmış e-posta adresine sahip
Alıntı yapanlar
Alıntı yapanlar
System for controlling access to a secure system by verifying acceptability of proposed password by using hashing and group of unacceptable passwords
DK Wittenberg, JS Leichter
US Patent 5,204,966, 1993
Rigorous modeling of hybrid systems using interval arithmetic constraints
TJ Hickey, DK Wittenberg
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2004
Hardware support for safety interlocks and introspection
U Dhawan, A Kwon, E Kadric, C Hritcu, BC Pierce, JM Smith, A DeHon, ...
2012 IEEE Sixth International Conference on Self-Adaptive and Self …, 2012
Safe: A clean-slate architecture for secure systems
S Chiricescu, A DeHon, D Demange, S Iyer, A Kliger, G Morrisett, ...
2013 IEEE International Conference on Technologies for Homeland Security …, 2013
Portable golf club washer
PE Scheuermann
US Patent 6,938,296, 2005
Using Analytic CLP to Model and Analyze Hybrid Systems.
TJ Hickey, DK Wittenberg
FLAIRS Conference, 269-274, 2004
Leveraging layout with dimensional stacking and pixelization to facilitate feature discovery and directed queries
JT Langton, AA Prinz, DK Wittenberg, TJ Hickey
Visual Information Expert Workshop, 77-91, 2006
CLP (F) Modeling of Hybrid Systems
DK Wittenberg
Brandeis University, 2004
Modeling hybrid systems using analytic constraint logic programming
TJ Hickey, DK Wittenberg
Technical Report, Dep. Computer Science, Brandeis Univ., 2002
Validated constraint compilation
TJ Hickey, DK Wittenberg
International Conference on Principles and Practice of Constraint …, 1999
Towards a Zero-Kernel Operating System
A Thomas, J McGrath, S Chiricescu, S Iyer, D Wittenberg, B Karel, ...
Pixelization Paradigm: Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
PP Lévy, B Le Grand, F Poulet, L Darago, M Soto, L Toubiana, JF Vibert
Springer Science & Business Media, 2007
Applied vulnerability detection system
J Smith, B Krikeles, DK Wittenberg, M Taveniku
2015 IEEE International Symposium on Technologies for Homeland Security (HST …, 2015
Modeling Hysteresis in CLIP–The Tank Flow Problem
DK Wittenberg, TJ Hickey
Proc. of the NFS Workshop on Reliable Engineering Computing, 2006
Notes on using CLIP
DK Wittenberg, TJ Hickey
On Unverifiable—Facts “
DK Wittenberg
Brandeis Graduate Journal 1 (1), 2003
PERFECT case studies demonstrating order of magnitude reduction in power consumption
DK Wittenberg, E Kadric, A DeHon, J Edwards, J Smith, S Chiricescu
2016 IEEE High Performance Extreme Computing Conference (HPEC), 1-7, 2016
Simple Additive LSB Steganography in Losslessly Encoded Images
AZ Lakritz, P Macko, DK Wittenberg
1 Pixelization Theory-1.2 Pixelization and Multidimensional Data-Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries
JT Langton, AA Prinz, DK Wittenberg, TJ Hickey
Lecture Notes in Computer Science 4370, 77, 2007
Reducing the Randomness Requirements for Quantum Money
DK Wittenberg
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20