Video quality and system resources: Scheduling two opponents
Roitzsch, Michael, Pohlack, Martin
Published in Journal of visual communication and image representation (01.12.2008)
Published in Journal of visual communication and image representation (01.12.2008)
Get full text
Journal Article
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory
Jaewoong Chung, Yen, Luke, Diestelhorst, Stephan, Pohlack, Martin, Hohmuth, Michael, Christie, David, Grossman, Dan
Published in 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture (01.12.2010)
Published in 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture (01.12.2010)
Get full text
Conference Proceeding
PREVENTING UNINTENDED LOSS OF TRANSACTIONAL DATA IN HARDWARE TRANSACTIONAL MEMORY SYSTEMS
YEN LUKE, DIESTELHORST STEPHAN, CHRISTIE DAVID S, POHLACK MARTIN T, CHUNG, JAE WOONG, HOHMUTH MICHAEL P
Year of Publication 10.12.2013
Get full text
Year of Publication 10.12.2013
Patent
Enforceable component-based realtime contracts: Supporting realtime properties from software development to execution
Härtig, Hermann, Zschaler, Steffen, Pohlack, Martin, Aigner, Ronald, Göbel, Steffen, Pohl, Christoph, Röttger, Simone
Published in Real-time systems (01.01.2007)
Published in Real-time systems (01.01.2007)
Get full text
Journal Article
The Velox Transactional Memory Stack
Felber, P, Rivière, E, Moreira, W M, Harmanci, D, Marlier, P, Diestelhorst, S, Hohmuth, M, Pohlack, M, Cristal, A, Hur, I, Unsal, O S, Stenström, P, Dragojevic, A, Guerraoui, R, Kapalka, M, Gramoli, V, Drepper, U, Tomić, S, Afek, Y, Korland, G, Shavit, N, Fetzer, C, Nowack, M, Riegel, T
Published in IEEE MICRO (01.09.2010)
Published in IEEE MICRO (01.09.2010)
Get full text
Journal Article
Publication
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Cook, Byron, Dobel, Bjorn, Kroening, Daniel, Manthey, Norbert, Pohlack, Martin, Polgreen, Elizabeth, Tautschnig, Michael, Wieczorkiewicz, Pawel
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)
Published in 2020 Formal Methods in Computer Aided Design (FMCAD) (21.09.2020)
Get full text
Conference Proceeding
Enforceable component-based realtime contracts
Härtig, Hermann, Zschaler, Steffen, Pohlack, Martin, Aigner, Ronald, Göbel, Steffen, Pohl, Christoph, Röttger, Simone
Published in Real-time systems (01.01.2007)
Published in Real-time systems (01.01.2007)
Get full text
Journal Article