Christian Jacobi 0002 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2026

Robust Power Management: A Key Aspect of Silent Data Corruption-Free SystemsPradip Bose, Ramon Bertran, Alper Buyuktosunoglu, Hans M. Jacobson, Karthik Swaminathan, Matthias Pflanz, Charles F. Webb, Tobias Webel, Christian Jacobi 0002. micro, 46(1):29-33, January - February 2026. [doi]

2023

Enterprise-Class Multilevel Cache Design: Low Latency, Huge Capacity, and High ReliabilityDeanna Postles Dunn Berger, Christian Jacobi 0002, Craig R. Walters, Robert J. Sonnelitter, Mike Cadigan, Matthias Klein. micro, 43(1):58-66, 2023. [doi]

2022

AI accelerator on IBM telum processor: industrial productCédric Lichtenau, Alper Buyuktosunoglu, Ramon Bertran, Peter Figuli, Christian Jacobi 0002, Nikolaos Papandreou, Haris Pozidis, Anthony Saporito, Andrew Sica, Elpida Tzortzatos. isca 2022: 1012-1028 [doi]

2008

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proofUdo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi 0002, Matthias Pflanz. aspdac 2008: 398-403 [doi]

2007

IBM POWER6 accelerators: VMX and DFULee Eisen, John Wesley Ward III, Hans-Werner Tast, Nicolas Mäding, Jens Leenstra, Silvia M. Müller, Christian Jacobi 0002, Jochen Preiss, Eric M. Schwarz, Steven R. Carlough. ibmrd, 51(6):663-684, 2007. [doi]

2006

2005

2003

Cryptographically Sound and Machine-Assisted Verification of Security ProtocolsMichael Backes, Christian Jacobi 0002. STACS 2003: 675-686 [doi]

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMPSven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul. charme 2003: 51-65 [doi]

2002

Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-ProvingChristian Jacobi 0002. cav 2002: 309-323 [doi]

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified BisimulationMichael Backes, Christian Jacobi 0002, Birgit Pfitzmann. FM 2002: 310-329 [doi]

2001

Formal Verification of the VAMP Floating Point UnitChristoph Berg, Christian Jacobi 0002. charme 2001: 325-339 [doi]

2000

Proving the Correctness of a Complete MicroprocessorChristian Jacobi 0002, Daniel Kroening. gi 2000: 293-303 [doi]

1999

Highly Concurrent Locking in Shared Memory Database SystemsChristian Jacobi 0002, Cédric Lichtenau. europar 1999: 477-481 [doi]

Sign in or sign up to see more results.

runs on WebDSL