Albert Meixner

15 papers A* 4A 3B 1Misc 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2011 A* conf
An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2.
SIGMETRICS
Patrick J. Eibl, Albert Meixner, Daniel J. Sorin
2011 A conf
Architectures for online error detection and recovery in multicore processors.
DATE
Dimitris Gizopoulos, Mihalis Psarakis, Sarita V. Adve, Pradeep Ramachandran, Siva Kumar Sastry Hari, Daniel J. Sorin, Albert Meixner, Arijit Biswas, Xavier Vera
2009 J jnl
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.
IEEE Trans. Dependable Secur. Comput.
Albert Meixner, Daniel J. Sorin
2008 J jnl
Argus: Low-Cost, Comprehensive Error Detection in Simple Cores.
IEEE Micro
Albert Meixner, Michael E. Bauer, Daniel J. Sorin
2008 A conf
Detouring: Translating software to circumvent hard faults in simple cores.
DSN
Albert Meixner, Daniel J. Sorin
2007 A* conf
Argus: Low-Cost, Comprehensive Error Detection in Simple Cores.
MICRO
Albert Meixner, Michael E. Bauer, Daniel J. Sorin
2007 B conf
Error Detection Using Dynamic Dataflow Verification.
PACT
Albert Meixner, Daniel J. Sorin
2007 A* conf
Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures.
HPCA
Albert Meixner, Daniel J. Sorin
2007 — conf
Lazy Error Detection for Microprocessor Functional Units.
DFT
Mahmut Yilmaz, Albert Meixner, Sule Ozev, Daniel J. Sorin
2007 — conf
Unified microprocessor core storage.
Conf. Computing Frontiers
Albert Meixner, Daniel J. Sorin
2006 A conf
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.
DSN
Albert Meixner, Daniel J. Sorin
2006 — conf
Robustness and security of a wavelet-based CBIR hashing algorithm.
MM&Sec
Albert Meixner, Andreas Uhl
2005 A* conf
Dynamic Verification of Sequential Consistency.
ISCA
Albert Meixner, Daniel J. Sorin
2005 Misc conf
Security Enhancement of Visual Hashes Through Key Dependent Wavelet Transformations.
ICIAP
Albert Meixner, Andreas Uhl
2004 — conf
Analysis of a wavelet-based robust hash algorithm.
Security, Steganography, and Watermarking of Multimedia Contents
Albert Meixner, Andreas Uhl