Snapshot algorithm

Results: 8



#Item
1Modeling How Students Learn to Program Chris Piech1, Mehran Sahami1, Daphne Koller1, Stephen Cooper1, Paulo Blikstein2 1 2

Modeling How Students Learn to Program Chris Piech1, Mehran Sahami1, Daphne Koller1, Stephen Cooper1, Paulo Blikstein2 1 2

Add to Reading List

Source URL: tltl.stanford.edu

Language: English - Date: 2012-03-29 00:34:25
2Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Add to Reading List

Source URL: users.ece.gatech.edu

Language: English - Date: 2004-10-21 11:39:18
3RENSSELAER POLYTECHNIC INSTITUTE  1 A Non-blocking Snapshot Algorithm for Distributed Garbage Collection of Mobile Active Objects

RENSSELAER POLYTECHNIC INSTITUTE 1 A Non-blocking Snapshot Algorithm for Distributed Garbage Collection of Mobile Active Objects

Add to Reading List

Source URL: www.cs.rpi.edu

Language: English - Date: 2007-05-10 09:56:21
4Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2002-05-21 20:47:59
5Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu  Abstract. Guerraoui and Kapalka defined opacity as a safety criterion

Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu Abstract. Guerraoui and Kapalka defined opacity as a safety criterion

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2014-02-17 15:44:48
6A Lazy Snapshot Algorithm with Eager Validation Torvald Riegel1 and Pascal Felber2 and Christof Fetzer1

A Lazy Snapshot Algorithm with Eager Validation Torvald Riegel1 and Pascal Felber2 and Christof Fetzer1

Add to Reading List

Source URL: se.inf.tu-dresden.de

Language: English - Date: 2006-07-13 08:45:40
7Virtual Time and Global States of Distributed Systems Friedemann Mattern y Department of Computer Science, University of Kaiserslautem

Virtual Time and Global States of Distributed Systems Friedemann Mattern y Department of Computer Science, University of Kaiserslautem

Add to Reading List

Source URL: www.vs.inf.ethz.ch

Language: English - Date: 2006-03-07 17:00:42
8Chapter 4: Global State and Snapshot Recording Algorithms

Chapter 4: Global State and Snapshot Recording Algorithms

Add to Reading List

Source URL: www.cs.uic.edu

Language: English - Date: 2008-09-28 15:10:43