Остановите войну!
for scientists:
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 31 matches
- 2015
- Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel:
Chaos: scale-out graph processing from secondary storage. SOSP 2015: 410-424 - Marcos K. Aguilera, Joshua B. Leners, Michael Walfish:
Yesquel: scalable sql storage for web applications. SOSP 2015: 245-262 - Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo:
Virtual CPU validation. SOSP 2015: 311-327 - George Amvrosiadis, Angela Demke Brown, Ashvin Goel:
Opportunistic storage maintenance. SOSP 2015: 457-473 - Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani:
Software defined batteries. SOSP 2015: 215-229 - Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Using Crash Hoare logic for certifying the FSCQ file system. SOSP 2015: 18-37 - Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang:
Paxos made transparent. SOSP 2015: 105-120 - Charlie Curtsinger, Emery D. Berger:
Coz: finding code that counts with causal profiling. SOSP 2015: 184-197 - Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro:
No compromises: distributed transactions with consistency, availability, and performance. SOSP 2015: 54-70 - Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu:
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. SOSP 2015: 394-409 - Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving practical distributed systems correct. SOSP 2015: 1-17 - Henry Hoffmann:
JouleGuard: energy guarantees for approximate applications. SOSP 2015: 198-214 - Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich:
Vuvuzela: scalable private messaging resistant to traffic analysis. SOSP 2015: 137-152 - Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea:
Failure sketching: a technique for automated root cause diagnosis of in-production failures. SOSP 2015: 344-360 - Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout:
Implementing linearizability at large scale and low latency. SOSP 2015: 71-86 - Matthew Lentz, James Litton, Bobby Bhattacharjee:
Drowsy power management. SOSP 2015: 230-244 - Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd:
Existential consistency: measuring and understanding consistency at Facebook. SOSP 2015: 295-310 - Jonathan Mace, Ryan Roelke, Rodrigo Fonseca:
Pivot tracing: dynamic causal monitoring for distributed systems. SOSP 2015: 378-393 - Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier:
Read-log-update: a lightweight synchronization mechanism for concurrent programming. SOSP 2015: 168-183 - Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim:
Cross-checking semantic correctness: the case of finding file system bugs. SOSP 2015: 361-377 - Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker:
E2: a framework for NFV applications. SOSP 2015: 121-136 - Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz:
Parallelizing user-defined aggregations using symbolic execution. SOSP 2015: 153-167 - Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell:
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP 2015: 38-53 - Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl:
Holistic configuration management at Facebook. SOSP 2015: 328-343 - Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga:
Arabesque: a system for distributed graph mining. SOSP 2015: 425-440 - Chia-che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter:
How to get more value from your file system directory cache. SOSP 2015: 441-456 - Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen:
Fast in-memory transaction processing using RDMA and HTM. SOSP 2015: 87-104 - Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang:
High-performance ACID via modular concurrency control. SOSP 2015: 279-294 - Suli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Rini T. Kaushik, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Split-level I/O scheduling. SOSP 2015: 474-489 - Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports:
Building consistent transactions with inconsistent replication. SOSP 2015: 263-278
skipping 1 more match
loading more results
failed to load more results, please try again later
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-05-04 16:12 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