![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Computer Systems, Volume 32
Volume 32, Number 1, February 2014
- Mark Silberstein, Bryan Ford
, Idit Keidar, Emmett Witchel:
GPUfs: Integrating a file system with GPUs. 1:1-1:31 - Gerwin Klein
, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser:
Comprehensive formal verification of an OS microkernel. 2:1-2:70 - Marisabel Guevara
, Benjamin Lubin, Benjamin C. Lee:
Market mechanisms for managing datacenters with heterogeneous microarchitectures. 3:1-3:31
Volume 32, Number 2, June 2014
- Nicolas Palix
, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall:
Faults in Linux 2.6. 4:1-4:40 - William Enck
, Peter Gilbert, Seungyeop Han, Vasant Tendulkar, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick D. McDaniel, Anmol N. Sheth:
TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. 5:1-5:29 - Youngjin Yu, Dongin Shin, Woong Shin, Nae Young Song, Jae-Woo Choi, Hyeong Seog Kim, Hyeonsang Eom, Heon Young Yeom:
Optimizing the Block I/O Subsystem for Fast Storage Devices. 6:1-6:48
Volume 32, Number 3, August/September 2014
- Mehrzad Samadi, Janghaeng Lee, Davoud Anoushe Jamshidi, Scott A. Mahlke, Amir Hormati:
Scaling Performance via Self-Tuning Approximation for Graphics Engines. 7:1-7:29 - Lisa Wu
, Orestis Polychroniou, Raymond J. Barker, Martha A. Kim
, Kenneth A. Ross:
Energy Analysis of Hardware and Software Range Partitioning. 8:1-8:24 - Adrian Sampson
, Jacob Nelson, Karin Strauss, Luis Ceze:
Approximate Storage in Solid-State Memories. 9:1-9:23
Volume 32, Number 4, January 2015
- Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler:
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. 10:1-10:47 - Arun Arvind Nair, Stijn Eyerman, Jian Chen, Lizy Kurian John, Lieven Eeckhout:
Mechanistic Modeling of Architectural Vulnerability Factor. 11:1-11:32 - Pierre-Louis Aublin, Rachid Guerraoui
, Nikola Knezevic, Vivien Quéma, Marko Vukolic:
The Next 700 BFT Protocols. 12:1-12:45
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.