David Wittenberg
David Wittenberg
Bilinmeyen bağlantı
cs.brandeis.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1211993
Rigorous modeling of hybrid systems using interval arithmetic constraints
TJ Hickey, DK Wittenberg
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2004
472004
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
222012
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
212013
Portable golf club washer
PE Scheuermann
US Patent 6,938,296, 2005
12*2005
Using Analytic CLP to Model and Analyze Hybrid Systems.
TJ Hickey, DK Wittenberg
FLAIRS Conference, 269-274, 2004
92004
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
52006
CLP (F) Modeling of Hybrid Systems
DK Wittenberg
Brandeis University, 2004
42004
Modeling hybrid systems using analytic constraint logic programming
TJ Hickey, DK Wittenberg
Technical Report, Dep. Computer Science, Brandeis Univ., 2002
32002
Validated constraint compilation
TJ Hickey, DK Wittenberg
International Conference on Principles and Practice of Constraint …, 1999
31999
Towards a Zero-Kernel Operating System
A Thomas, J McGrath, S Chiricescu, S Iyer, D Wittenberg, B Karel, ...
22013
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
22007
Applied vulnerability detection system
J Smith, B Krikeles, DK Wittenberg, M Taveniku
2015 IEEE International Symposium on Technologies for Homeland Security (HST …, 2015
12015
Modeling Hysteresis in CLIP–The Tank Flow Problem
DK Wittenberg, TJ Hickey
Proc. of the NFS Workshop on Reliable Engineering Computing, 2006
12006
Notes on using CLIP
DK Wittenberg, TJ Hickey
12004
On Unverifiable—Facts “
DK Wittenberg
Brandeis Graduate Journal 1 (1), 2003
12003
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
2016
Simple Additive LSB Steganography in Losslessly Encoded Images
AZ Lakritz, P Macko, DK Wittenberg
2007
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
2007
Reducing the Randomness Requirements for Quantum Money
DK Wittenberg
1995
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20