![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 24 matches
- 2013
- Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
Verifying cloud services: present and future. ACM SIGOPS Oper. Syst. Rev. 47(2): 6-19 (2013) - Hanen Chihi, Walid Chainbi
, Khaled Ghédira:
An energy-efficient self-provisioning approach for cloud resources management. ACM SIGOPS Oper. Syst. Rev. 47(3): 2-9 (2013) - Miguel Correia, Neeraj Mittal:
Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. ACM SIGOPS Oper. Syst. Rev. 47(2): 20-22 (2013) - Paolo Costa:
Bridging the gap between applications and networks in data centers. ACM SIGOPS Oper. Syst. Rev. 47(1): 3-8 (2013) - Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais:
Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Oper. Syst. Rev. 47(2): 51-65 (2013) - Denisa Ghita, Katerina J. Argyraki, Patrick Thiran:
Toward accurate and practical network tomography. ACM SIGOPS Oper. Syst. Rev. 47(1): 22-26 (2013) - Naga Pavan Kumar Gorti, Arun K. Somani:
Reliability aware dynamic voltage and frequency scaling for improved microprocessor lifetime. ACM SIGOPS Oper. Syst. Rev. 47(3): 10-17 (2013) - Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana:
Coordinating multiple administration loops using discrete control. ACM SIGOPS Oper. Syst. Rev. 47(3): 18-25 (2013) - Ashif S. Harji, Peter A. Buhr, Tim Brecht:
Our troubles with Linux Kernel upgrades and why you should care. ACM SIGOPS Oper. Syst. Rev. 47(2): 66-72 (2013) - Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre van Kempen:
Regenerating codes: a system perspective. ACM SIGOPS Oper. Syst. Rev. 47(2): 23-32 (2013) - Naser Ezzati-Jivan, Michel R. Dagenais:
A framework to compute statistics of system parameters from very large trace files. ACM SIGOPS Oper. Syst. Rev. 47(1): 43-54 (2013) - Flavio Paiva Junqueira, Ivan Kelly, Benjamin C. Reed
:
Durability with BookKeeper. ACM SIGOPS Oper. Syst. Rev. 47(1): 9-15 (2013) - Christine Mayap Kamga:
CPU frequency emulation based on DVFS. ACM SIGOPS Oper. Syst. Rev. 47(3): 34-41 (2013) - Sou Koyano, Shingo Ata, Hisashi Iwamoto, Yuji Yano, Yasuto Kuroda, Kazunari Inoue, Ikuo Oka:
A study on micro level traffic prediction for energy-aware routers. ACM SIGOPS Oper. Syst. Rev. 47(3): 26-33 (2013) - Mateus Krepsky Ludwich, Antônio Augusto Fröhlich:
On the formal verification of component-based embedded operating systems. ACM SIGOPS Oper. Syst. Rev. 47(1): 28-34 (2013) - Dahlia Malkhi, Robbert van Renesse:
Workshop report on LADIS 2012. ACM SIGOPS Oper. Syst. Rev. 47(1): 1-2 (2013) - Adel Noureddine
, Romain Rouvoy
, Lionel Seinturier
:
A review of energy measurement approaches. ACM SIGOPS Oper. Syst. Rev. 47(3): 42-49 (2013) - Alirio Santos de Sá, Allan Edgard Silva Freitas, Raimundo José de Araújo Macêdo:
Adaptive request batching for byzantine replication. ACM SIGOPS Oper. Syst. Rev. 47(1): 35-42 (2013) - Karla Saur, Iulian Neamtiu:
Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012). ACM SIGOPS Oper. Syst. Rev. 47(1): 55-62 (2013) - Alexander Shraer, Rüdiger Kapitza:
Dagstuhl seminar report: security and dependability for federated cloud platforms, 2012. ACM SIGOPS Oper. Syst. Rev. 47(2): 4-5 (2013) - David Shue, Michael J. Freedman, Anees Shaikh:
Fairness and isolation in multi-tenant storage as optimization decomposition. ACM SIGOPS Oper. Syst. Rev. 47(1): 16-21 (2013) - Moussa Taifi:
Banking on decoupling: budget-driven sustainability for HPC applications on auction-based clouds. ACM SIGOPS Oper. Syst. Rev. 47(2): 41-50 (2013) - Chengwei 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? ACM SIGOPS Oper. Syst. Rev. 47(3): 50-62 (2013) - Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal:
Boosting energy efficiency with mirrored data block replication policy and energy scheduler. ACM SIGOPS Oper. Syst. Rev. 47(2): 33-40 (2013)
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-23 10:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint