:facetid:toc:\"db/journals/sigops/sigops47.bht\"OK:facetid:toc:db/journals/sigops/sigops47.bhtSara BouchenakGregory V. ChocklerHana ChocklerGabriela GheorgheNuno Santos 0001Alexander ShraerVerifying cloud services: present and future.ACM SIGOPS Oper. Syst. Rev.4726-192013Journal Articlesclosedjournals/sigops/BouchenakCCGSS1310.1145/2506164.2506167https://doi.org/10.1145/2506164.2506167https://dblp.org/rec/journals/sigops/BouchenakCCGSS13URL#4070095Hanen ChihiWalid ChainbiKhaled GhédiraAn energy-efficient self-provisioning approach for cloud resources management.ACM SIGOPS Oper. Syst. Rev.4732-92013Journal Articlesclosedjournals/sigops/ChihiCG1310.1145/2553070.2553072https://doi.org/10.1145/2553070.2553072https://dblp.org/rec/journals/sigops/ChihiCG13URL#4070096Miguel Correia 0001Neeraj MittalDependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO.ACM SIGOPS Oper. Syst. Rev.47220-222013Journal Articlesclosedjournals/sigops/CorreiaM1310.1145/2506164.2506169https://doi.org/10.1145/2506164.2506169https://dblp.org/rec/journals/sigops/CorreiaM13URL#4070097Paolo CostaBridging the gap between applications and networks in data centers.ACM SIGOPS Oper. Syst. Rev.4713-82013Journal Articlesclosedjournals/sigops/Costa1310.1145/2433140.2433143https://doi.org/10.1145/2433140.2433143https://dblp.org/rec/journals/sigops/Costa13URL#4070098Mathieu DesnoyersPaul E. McKenneyMichel R. DagenaisMulti-core systems modeling for formal verification of parallel algorithms.ACM SIGOPS Oper. Syst. Rev.47251-652013Journal Articlesclosedjournals/sigops/DesnoyersMD1310.1145/2506164.2506174https://doi.org/10.1145/2506164.2506174https://dblp.org/rec/journals/sigops/DesnoyersMD13URL#4070099Denisa GhitaKaterina J. ArgyrakiPatrick ThiranToward accurate and practical network tomography.ACM SIGOPS Oper. Syst. Rev.47122-262013Journal Articlesclosedjournals/sigops/GhitaAT1310.1145/2433140.2433146https://doi.org/10.1145/2433140.2433146https://dblp.org/rec/journals/sigops/GhitaAT13URL#4070100Naga Pavan Kumar GortiArun K. SomaniReliability aware dynamic voltage and frequency scaling for improved microprocessor lifetime.ACM SIGOPS Oper. Syst. Rev.47310-172013Journal Articlesclosedjournals/sigops/GortiS1310.1145/2553070.2553073https://doi.org/10.1145/2553070.2553073https://dblp.org/rec/journals/sigops/GortiS13URL#4070101Soguy Mak Karé GueyeNoel De PalmaÉric RuttenAlain TchanaCoordinating multiple administration loops using discrete control.ACM SIGOPS Oper. Syst. Rev.47318-252013Journal Articlesclosedjournals/sigops/GueyePRT1310.1145/2553070.2553074https://doi.org/10.1145/2553070.2553074https://dblp.org/rec/journals/sigops/GueyePRT13URL#4070102Ashif S. HarjiPeter A. BuhrTim BrechtOur troubles with Linux Kernel upgrades and why you should care.ACM SIGOPS Oper. Syst. Rev.47266-722013Journal Articlesclosedjournals/sigops/HarjiBB1310.1145/2506164.2506175https://doi.org/10.1145/2506164.2506175https://dblp.org/rec/journals/sigops/HarjiBB13URL#4070103Steve JiekakAnne-Marie KermarrecNicolas Le ScouarnecGilles StraubAlexandre van KempenRegenerating codes: a system perspective.ACM SIGOPS Oper. Syst. Rev.47223-322013Journal Articlesclosedjournals/sigops/JiekakKSSK1310.1145/2506164.2506170https://doi.org/10.1145/2506164.2506170https://dblp.org/rec/journals/sigops/JiekakKSSK13URL#4070104Naser Ezzati-JivanMichel R. DagenaisA framework to compute statistics of system parameters from very large trace files.ACM SIGOPS Oper. Syst. Rev.47143-542013Journal Articlesclosedjournals/sigops/JivanD1310.1145/2433140.2433151https://doi.org/10.1145/2433140.2433151https://dblp.org/rec/journals/sigops/JivanD13URL#4070105Flavio Paiva JunqueiraIvan KellyBenjamin C. ReedDurability with BookKeeper.ACM SIGOPS Oper. Syst. Rev.4719-152013Journal Articlesclosedjournals/sigops/JunqueiraKR1310.1145/2433140.2433144https://doi.org/10.1145/2433140.2433144https://dblp.org/rec/journals/sigops/JunqueiraKR13URL#4070106Christine Mayap KamgaCPU frequency emulation based on DVFS.ACM SIGOPS Oper. Syst. Rev.47334-412013Journal Articlesclosedjournals/sigops/Kamga1310.1145/2553070.2553076https://doi.org/10.1145/2553070.2553076https://dblp.org/rec/journals/sigops/Kamga13URL#4070107Sou KoyanoShingo AtaHisashi IwamotoYuji YanoYasuto KurodaKazunari InoueIkuo OkaA study on micro level traffic prediction for energy-aware routers.ACM SIGOPS Oper. Syst. Rev.47326-332013Journal Articlesclosedjournals/sigops/KoyanoAIYKIO1310.1145/2553070.2553075https://doi.org/10.1145/2553070.2553075https://dblp.org/rec/journals/sigops/KoyanoAIYKIO13URL#4070108Mateus Krepsky LudwichAntônio Augusto FröhlichOn the formal verification of component-based embedded operating systems.ACM SIGOPS Oper. Syst. Rev.47128-342013Journal Articlesclosedjournals/sigops/LudwichF1310.1145/2433140.2433148https://doi.org/10.1145/2433140.2433148https://dblp.org/rec/journals/sigops/LudwichF13URL#4070109Dahlia MalkhiRobbert van RenesseWorkshop report on LADIS 2012.ACM SIGOPS Oper. Syst. Rev.4711-22013Journal Articlesclosedjournals/sigops/MalkhiR1310.1145/2433140.2433142https://doi.org/10.1145/2433140.2433142https://dblp.org/rec/journals/sigops/MalkhiR13URL#4070110Adel NoureddineRomain RouvoyLionel SeinturierA review of energy measurement approaches.ACM SIGOPS Oper. Syst. Rev.47342-492013Journal Articlesclosedjournals/sigops/NoureddineRS1310.1145/2553070.2553077https://doi.org/10.1145/2553070.2553077https://dblp.org/rec/journals/sigops/NoureddineRS13URL#4070111Alirio Santos de SáAllan Edgard Silva FreitasRaimundo José de Araújo MacêdoAdaptive request batching for byzantine replication.ACM SIGOPS Oper. Syst. Rev.47135-422013Journal Articlesclosedjournals/sigops/SaFM1310.1145/2433140.2433149https://doi.org/10.1145/2433140.2433149https://dblp.org/rec/journals/sigops/SaFM13URL#4070112Karla SaurIulian NeamtiuReport on the fourth workshop on hot topics in software upgrades (HotSWUp 2012).ACM SIGOPS Oper. Syst. Rev.47155-622013Journal Articlesclosedjournals/sigops/SaurN1310.1145/2433140.2433152https://doi.org/10.1145/2433140.2433152https://dblp.org/rec/journals/sigops/SaurN13URL#4070113Alexander ShraerRüdiger KapitzaDagstuhl seminar report: security and dependability for federated cloud platforms, 2012.ACM SIGOPS Oper. Syst. Rev.4724-52013Journal Articlesclosedjournals/sigops/ShraerK1310.1145/2506164.2506166https://doi.org/10.1145/2506164.2506166https://dblp.org/rec/journals/sigops/ShraerK13URL#4070114David ShueMichael J. FreedmanAnees ShaikhFairness and isolation in multi-tenant storage as optimization decomposition.ACM SIGOPS Oper. Syst. Rev.47116-212013Journal Articlesclosedjournals/sigops/ShueFS1310.1145/2433140.2433145https://doi.org/10.1145/2433140.2433145https://dblp.org/rec/journals/sigops/ShueFS13URL#4070115Moussa TaifiBanking on decoupling: budget-driven sustainability for HPC applications on auction-based clouds.ACM SIGOPS Oper. Syst. Rev.47241-502013Journal Articlesclosedjournals/sigops/Taifi1310.1145/2506164.2506172https://doi.org/10.1145/2506164.2506172https://dblp.org/rec/journals/sigops/Taifi13URL#4070116Chengwei WangSoila KavulyaJiaqi TanLiting HuMahendra KutareMichael P. KasickKarsten SchwanPriya NarasimhanRajeev GandhiPerformance troubleshooting in data centers: an annotated bibliography?ACM SIGOPS Oper. Syst. Rev.47350-622013Journal Articlesclosedjournals/sigops/WangKTHKKSNG1310.1145/2553070.2553079https://doi.org/10.1145/2553070.2553079https://dblp.org/rec/journals/sigops/WangKTHKKSNG13URL#4070117Sara Arbab YazdSubbarayan VenkatesanNeeraj MittalBoosting energy efficiency with mirrored data block replication policy and energy scheduler.ACM SIGOPS Oper. Syst. Rev.47233-402013Journal Articlesclosedjournals/sigops/YazdVM1310.1145/2506164.2506171https://doi.org/10.1145/2506164.2506171https://dblp.org/rec/journals/sigops/YazdVM13URL#4070118