Stephan Zeisset

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang
Fast and Generalized Polynomial Time Memory Consistency Verification. CAV (2006)
Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang
Fast and Generalized Polynomial Time Memory Consistency Verification CoRR (2006)
Stephan Zeisset, Stefan Tritscher, Martin Mairandres
A New Approach to Distributed Memory Management in the Mach Microkernel. USENIX Annual Technical Conference (1996)