Albert Meixner

According to our database, Albert Meixner authored at least 13 papers between 2004 and 2011.

Collaborative distances:

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

2011

An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2.

Patrick J. Eibl, Albert Meixner, Daniel J. Sorin

Proceedings of the SIGMETRICS 2011, 2011

Architectures for online error detection and recovery in multicore processors.

Dimitris Gizopoulos, Mihalis Psarakis, Sarita V. Adve, Pradeep Ramachandran, Siva Kumar Sastry Hari, Daniel J. Sorin, Albert Meixner, Arijit Biswas, Xavier Vera

Proceedings of the Design, Automation and Test in Europe, 2011

2009

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.

Albert Meixner, Daniel J. Sorin

IEEE Trans. Dependable Secur. Comput., 2009

2008

Argus: Low-Cost, Comprehensive Error Detection in Simple Cores.

Albert Meixner, Michael E. Bauer, Daniel J. Sorin

IEEE Micro, 2008

Detouring: Translating software to circumvent hard faults in simple cores.

Albert Meixner, Daniel J. Sorin

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures.

Albert Meixner, Daniel J. Sorin

Proceedings of the 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 2007

Lazy Error Detection for Microprocessor Functional Units.

Mahmut Yilmaz, Albert Meixner, Sule Ozev, Daniel J. Sorin

Proceedings of the 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007), 2007

Unified microprocessor core storage.

Albert Meixner, Daniel J. Sorin

Proceedings of the 4th Conference on Computing Frontiers, 2007

Error Detection Using Dynamic Dataflow Verification.

Albert Meixner, Daniel J. Sorin

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2006

Robustness and security of a wavelet-based CBIR hashing algorithm.

Albert Meixner, Andreas Uhl

Proceedings of the 8th workshop on Multimedia & Security, 2006

2005

Dynamic Verification of Sequential Consistency.

Albert Meixner, Daniel J. Sorin

Proceedings of the 32st International Symposium on Computer Architecture (ISCA 2005), 2005

Security Enhancement of Visual Hashes Through Key Dependent Wavelet Transformations.

Albert Meixner, Andreas Uhl

Proceedings of the Image Analysis and Processing, 2005

2004

Analysis of a wavelet-based robust hash algorithm.

Albert Meixner, Andreas Uhl

Proceedings of the Security, Steganography, and Watermarking of Multimedia Contents VI, 2004