Stem snapshot$ (all stems)

37 papers:

CSCW-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.

CGO-2015-OhM #web

Snapshot-based loading-time acceleration for web applications (JO, SMM), pp. 179–189.

VLDB-2014-ChairunnandaDO #database #multi #named #replication

ConfluxDB: Multi-Master Replication for Partitioned Snapshot Isolation Databases (PC, KD, MTÖ), pp. 947–958.

ASPLOS-2014-LitzCFAS #memory management #named #transaction

SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.

HPDC-2014-RezaeiCLCM #manycore #named

Snapify: capturing snapshots of offload applications on xeon phi manycore processors (AR, GC, CHL, STC, FM), pp. 1–12.

ITiCSE-2013-BalzuweitS #named #programming #visualisation

SnapViz: visualizing programming assignment snapshots (EB, JS), p. 350.

VLDB-2012-PortsG

Serializable Snapshot Isolation in PostgreSQL (DRKP, KG), pp. 1850–1861.

ICPR-2012-TsuruKO #using

Mixed-reality snapshot system using environmental depth sensors (HT, IK, YO), pp. 97–100.

ECOOP-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.

TOOLS-EUROPE-2012-MehnertA #type system #using #verification

Verification of Snapshotable Trees Using Access Permissions and Typestate (HM, JA), pp. 187–201.

PPoPP-2012-ProkopecBBO #concurrent #performance

Concurrent tries with efficient non-blocking snapshots (AP, NGB, PB, MO), pp. 151–160.

VLDB-2011-JungHFR #database

Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios (HJ, HH, AF, UR), pp. 783–794.

GT-VMT-2011-GogollaHXZ #visual notation

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).

ICPR-2010-DornaikaR #estimation

Person-Specific Face Shape Estimation under Varying Head Pose from Single Snapshots (FD, BR), pp. 3496–3499.

VLDB-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.

ICALP-v1-2009-Papadimitriou #algorithm #game studies

Algorithmic Game Theory: A Snapshot (CHP), pp. 3–11.

SIGMOD-2008-CahillRF #database

Serializable isolation for snapshot databases (MJC, UR, ADF), pp. 729–738.

SIGMOD-2008-ShaullSX #named

Skippy: a new snapshot indexing method for time travel in the storage manager (RS, LS, HX), pp. 637–648.

VLDB-2007-JorwekarFRS #automation #detection

Automating the Detection of Snapshot Isolation Anomalies (SJ, AF, KR, SS), pp. 1263–1274.

HCI-IPT-2007-AuerD #difference

When Does a Difference Make a Difference? A Snapshot on Global Icon Comprehensibility (SA, ED), pp. 3–12.

LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented

Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.

VLDB-2006-DaudjeeS #database #lazy evaluation #replication

Lazy Database Replication with Snapshot Isolation (KD, KS), pp. 715–726.

TACAS-2006-NiebertP #ltl #model checking #partial order #performance

Efficient Model Checking for LTL with Partial Order Snapshots (PN, DP), pp. 272–286.

STOC-2006-FatourouFR #implementation #trade-off

Time-space tradeoffs for implementations of snapshots (PF, FEF, ER), pp. 169–178.

SIGMOD-2005-LinKPJ #middleware #replication

Middleware based Data Replication providing Snapshot Isolation (YL, BK, MPM, RJP), pp. 419–430.

TACAS-2005-GenestKMP #verification

Snapshot Verification (BG, DK, AM, DP), pp. 510–525.

MSR-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.

STOC-2005-Jayanti #algorithm #multi

An optimal multi-writer snapshot algorithm (PJ), pp. 723–732.

STOC-2003-FatourouFR #bound #implementation #multi

A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.

UML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation

Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.

VLDB-1996-LabioG #algorithm #difference #performance

Efficient Snapshot Differential Algorithms for Data Warehousing (WL, HGM), pp. 63–74.

HCI-SHI-1993-HowardC #towards

Snapshots from the Eye: Toward Strategies for Viewing Bibliographic Citations (DLH, MEC), pp. 488–493.

VLDB-1987-KahlerR #database

Extending Logging for Database Snapshot Refresh (BK, OR), pp. 389–398.

SIGMOD-1986-LindsayHM #algorithm #difference

A Snapshot Differential Refresh Algorithm (BGL, LMH, CM, HP, PFW), pp. 53–60.

ICALP-1985-Bouge #csp #implementation

Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract) (LB), pp. 63–70.

VLDB-1981-Adiba #distributed

Derived Relations: A Unified Mechanism for Views, Snapshots, and Distributed Data (MEA), pp. 293–305.

VLDB-1980-AdibaL #database

Database Snapshots (MEA, BGL), pp. 86–91.