Martin Pohlack

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Venues

FMCAD

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. FMCAD (2020)
Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Riviere, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel
The Velox Transactional Memory Stack. IEEE Micro 30 (5) (2010)
Dave Christie, Jae-Woong Chung, Stephan Diestelhorst, Michael Hohmuth, Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, Etienne Riviere
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack. EuroSys (2010)
Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory. MICRO (2010)
Michael Roitzsch, Martin Pohlack
Video quality and system resources: Scheduling two opponents. J. Vis. Commun. Image Represent. 19 (8) (2008)
Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, Simone Röttger
Enforceable component-based realtime contracts. Real Time Syst. 35 (1) (2007)
Michael Roitzsch, Martin Pohlack
Principles for the Prediction of Video Decoding Times Applied to MPEG-1/2 and MPEG-4 Part 2 Video. RTSS (2006)
Steffen Göbel, Christoph Pohl, Ronald Aigner, Martin Pohlack, Simone Röttger, Steffen Zschaler
The COMQUAD Component Container Architecture. WICSA (2004)
Lars Reuther, Martin Pohlack
Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS). RTSS (2003)

Martin Pohlack.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Pohlack