Albert Meixner

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

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