Journal: Operating Systems Review

Volume 47, Issue 3

2 -- 9Hanen Chihi, Walid Chainbi, Khaled Ghédira. An energy-efficient self-provisioning approach for cloud resources management
10 -- 17Naga Pavan Kumar Gorti, Arun K. Somani. Reliability aware dynamic voltage and frequency scaling for improved microprocessor lifetime
18 -- 25Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana. Coordinating multiple administration loops using discrete control
26 -- 33Sou Koyano, Shingo Ata, Hisashi Iwamoto, Yuji Yano, Yasuto Kuroda, Kazunari Inoue, Ikuo Oka. A study on micro level traffic prediction for energy-aware routers
34 -- 41Christine Mayap Kamga. CPU frequency emulation based on DVFS
42 -- 49Adel Noureddine, Romain Rouvoy, Lionel Seinturier. A review of energy measurement approaches
50 -- 62Chengwei Wang, Soila Kavulya, Jiaqi Tan, Liting Hu, Mahendra Kutare, Michael P. Kasick, Karsten Schwan, Priya Narasimhan, Rajeev Gandhi. Performance troubleshooting in data centers: an annotated bibliography?

Volume 47, Issue 2

4 -- 5Alexander Shraer, Rüdiger Kapitza. Dagstuhl seminar report: security and dependability for federated cloud platforms, 2012
6 -- 19Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer. Verifying cloud services: present and future
20 -- 22Miguel Correia, Neeraj Mittal. Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO
23 -- 32Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre van Kempen. Regenerating codes: a system perspective
33 -- 40Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal. Boosting energy efficiency with mirrored data block replication policy and energy scheduler
41 -- 50Moussa Taifi. Banking on decoupling: budget-driven sustainability for HPC applications on auction-based clouds
51 -- 65Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais. Multi-core systems modeling for formal verification of parallel algorithms
66 -- 72Ashif S. Harji, Peter A. Buhr, Tim Brecht. Our troubles with Linux Kernel upgrades and why you should care

Volume 47, Issue 1

1 -- 2Dahlia Malkhi, Robbert van Renesse. Workshop report on LADIS 2012
3 -- 8Paolo Costa. Bridging the gap between applications and networks in data centers
9 -- 15Flavio Paiva Junqueira, Ivan Kelly, Benjamin Reed. Durability with BookKeeper
16 -- 21David Shue, Michael J. Freedman, Anees Shaikh. Fairness and isolation in multi-tenant storage as optimization decomposition
22 -- 26Denisa Ghita, Katerina J. Argyraki, Patrick Thiran. Toward accurate and practical network tomography
28 -- 34Mateus Krepsky Ludwich, Antônio Augusto Fröhlich. On the formal verification of component-based embedded operating systems
35 -- 42Alirio Santos de Sá, Allan Edgard Silva Freitas, Raimundo José de Araújo Macêdo. Adaptive request batching for byzantine replication
43 -- 54Naser Ezzati Jivan, Michel R. Dagenais. A framework to compute statistics of system parameters from very large trace files
55 -- 62Karla Saur, Iulian Neamtiu. Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)