BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
isol (10)
databas (8)
replic (5)
algorithm (4)
time (4)

Stem snapshot$ (all stems)

37 papers:

CSCWCSCW-2015-MemarovicSSKNY #case study #community
Capture the Moment: “In the Wild” Longitudinal Case Study of Situated Snapshots Captured Through an Urban Screen in a Community Setting (NM, AFgS, HS, EK, SN, LY), pp. 242–253.
CGOCGO-2015-OhM #web
Snapshot-based loading-time acceleration for web applications (JO, SMM), pp. 179–189.
VLDBVLDB-2014-ChairunnandaDO #database #multi #named #replication
ConfluxDB: Multi-Master Replication for Partitioned Snapshot Isolation Databases (PC, KD, MTÖ), pp. 947–958.
ASPLOSASPLOS-2014-LitzCFAS #memory management #named #transaction
SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.
HPDCHPDC-2014-RezaeiCLCM #manycore #named
Snapify: capturing snapshots of offload applications on xeon phi manycore processors (AR, GC, CHL, STC, FM), pp. 1–12.
ITiCSEITiCSE-2013-BalzuweitS #named #programming #visualisation
SnapViz: visualizing programming assignment snapshots (EB, JS), p. 350.
VLDBVLDB-2012-PortsG
Serializable Snapshot Isolation in PostgreSQL (DRKP, KG), pp. 1850–1861.
ICPRICPR-2012-TsuruKO #using
Mixed-reality snapshot system using environmental depth sensors (HT, IK, YO), pp. 97–100.
ECOOPECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification
Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
TOOLSTOOLS-EUROPE-2012-MehnertA #type system #using #verification
Verification of Snapshotable Trees Using Access Permissions and Typestate (HM, JA), pp. 187–201.
PPoPPPPoPP-2012-ProkopecBBO #concurrent #performance
Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.
VLDBVLDB-2011-JungHFR #database
Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios (HJ, HH, AF, UR), pp. 783–794.
GT-VMTGT-VMT-2011-GogollaHXZ #visual notation
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).
ICPRICPR-2010-DornaikaR #estimation
Person-Specific Face Shape Estimation under Varying Head Pose from Single Snapshots (FD, BR), pp. 3496–3499.
VLDBVLDB-2009-MishimaN #database #middleware #named #replication
Pangea: An Eager Database Replication Middleware guaranteeing Snapshot Isolation without Modification of Database Servers (TM, HN), pp. 1066–1077.
ICALPICALP-v1-2009-Papadimitriou #algorithm #game studies
Algorithmic Game Theory: A Snapshot (CHP), pp. 3–11.
SIGMODSIGMOD-2008-CahillRF #database
Serializable isolation for snapshot databases (MJC, UR, ADF), pp. 729–738.
SIGMODSIGMOD-2008-ShaullSX #named
Skippy: a new snapshot indexing method for time travel in the storage manager (RS, LS, HX), pp. 637–648.
VLDBVLDB-2007-JorwekarFRS #automation #detection
Automating the Detection of Snapshot Isolation Anomalies (SJ, AF, KR, SS), pp. 1263–1274.
HCIHCI-IPT-2007-AuerD #difference
When Does a Difference Make a Difference? A Snapshot on Global Icon Comprehensibility (SA, ED), pp. 3–12.
LOPSTRLOPSTR-2007-FerrariFMO #generative #modelling #object-oriented
Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
VLDBVLDB-2006-DaudjeeS #database #lazy evaluation #replication
Lazy Database Replication with Snapshot Isolation (KD, KS), pp. 715–726.
TACASTACAS-2006-NiebertP #ltl #model checking #partial order #performance
Efficient Model Checking for LTL with Partial Order Snapshots (PN, DP), pp. 272–286.
STOCSTOC-2006-FatourouFR #implementation #trade-off
Time-space tradeoffs for implementations of snapshots (PF, FEF, ER), pp. 169–178.
SIGMODSIGMOD-2005-LinKPJ #middleware #replication
Middleware based Data Replication providing Snapshot Isolation (YL, BK, MPM, RJP), pp. 419–430.
TACASTACAS-2005-GenestKMP #verification
Snapshot Verification (BG, DK, AM, DP), pp. 510–525.
MSRMSR-2005-SpaccoSHP #automation #mining #programming #repository #testing
Software repository mining with Marmoset: an automated programming project snapshot and testing system (JS, JS, DH, WP), pp. 46–50.
STOCSTOC-2005-Jayanti #algorithm #multi
An optimal multi-writer snapshot algorithm (PJ), pp. 723–732.
STOCSTOC-2003-FatourouFR #bound #implementation #multi
A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.
UMLUML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation
Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
VLDBVLDB-1996-LabioG #algorithm #difference #performance
Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.
HCIHCI-SHI-1993-HowardC #towards
Snapshots from the Eye: Toward Strategies for Viewing Bibliographic Citations (DLH, MEC), pp. 488–493.
VLDBVLDB-1987-KahlerR #database
Extending Logging for Database Snapshot Refresh (BK, OR), pp. 389–398.
SIGMODSIGMOD-1986-LindsayHM #algorithm #difference
A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.
ICALPICALP-1985-Bouge #csp #implementation
Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract) (LB), pp. 63–70.
VLDBVLDB-1981-Adiba #distributed
Derived Relations: A Unified Mechanism for Views, Snapshots, and Distributed Data (MEA), pp. 293–305.
VLDBVLDB-1980-AdibaL #database
Database Snapshots (MEA, BGL), pp. 86–91.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.