Search results for "Rollback"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Francesco Quaglia, Andrea Santoro	Exploiting Spatial Uncertainty to Reduce Forward Computation Cost in Optimistic Simulations.	DS-RT	2004	DBLP DOI BibTeX RDF
10	Pin Zhou, Feng Qin, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas	iWatcher: Efficient Architectural Support for Software Debugging.	ISCA	2004	DBLP DOI BibTeX RDF
10	Lance Hammond, Vicky Wong, Michael K. Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, Kunle Olukotun	Transactional Memory Coherence and Consistency.	ISCA	2004	DBLP DOI BibTeX RDF
10	Bruno Schulze, Radha Nandkumar	Introduction to the 2nd International Workshop on Middleware for Grid Computing (MGC).	Middleware for Grid Computing	2004	DBLP DOI BibTeX RDF
10	James C. Dehnert, Brian Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, Jim Mattson	The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges.	CGO	2003	DBLP DOI BibTeX RDF
10	Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee	Validation of XML Document Updates Based on XML Schema in XML Databases.	DEXA	2003	DBLP DOI BibTeX RDF
10	Jie Liu 0001, Edward A. Lee	On the Causality of Mixed-Signal and Hybrid Models.	HSCC	2003	DBLP DOI BibTeX RDF
10	Jinmin Yang, Dafang Zhang, Xue Dong Yang	User-Level Implementation of Checkpointing for Multithreaded Applications on Windows NT.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
10	Jeffrey S. Steinman, Jennifer W. Wong	The SPEEDES Persistence Framework and the Standard Simulation Architecture.	PADS	2003	DBLP DOI BibTeX RDF
10	Peter Sobe	Stable Checkpointing in Distributed Systems without Shared Disks.	IPDPS	2003	DBLP DOI BibTeX RDF
10	Jian Zhao, Hossam S. Hassanein, Jieyi Wu, Junzhou Luo	Congestion-Aware Multicast Routing for Supporting QoS over the Internet.	ISCC	2003	DBLP DOI BibTeX RDF	cycle breaking, multicast tree construction, Open Shortest Path First (OSPF), Leaky Bucket (LB), Quality of Service (QoS), Multicast routing, network congestion, Weighted Fair Queuing (WFQ)
10	Francesco Quaglia, Andrea Santoro	Modeling and optimization of non-blocking checkpointing for optimistic simulation on myrinet clusters.	ICS	2003	DBLP DOI BibTeX RDF	checkpointing, performance optimization, DMA, optimistic simulation
10	Cristian Tapus	Kernel Level Speculative DSM.	CCGRID	2003	DBLP DOI BibTeX RDF
10	Klaus Echtle, Irene Eusgeld	A Genetic Algorithm for Fault-Tolerant System Design.	LADC	2003	DBLP DOI BibTeX RDF	analysis of fault-tolerant behaviour, genetic algorithm, Fault tolerance, fault model, fitness function
10	Adnan Agbaria, Ari Freund 0001, Roy Friedman	Evaluating Distributed Checkpointing Protocol.	ICDCS	2003	DBLP DOI BibTeX RDF
10	Jian Zhao, Hossam S. Hassanein, Jieyi Wu, Junzhou Luo	CRMA: A Cycle-breaking Multicast Routing Algorithm for Supporting QoS over the Internet.	HICSS	2003	DBLP DOI BibTeX RDF
10	Hazim Shafi, Evan Speight, John K. Bennett	Raptor: Integrating Checkpoints and Thread Migration for Cluster Management.	SRDS	2003	DBLP DOI BibTeX RDF
10	Taesoon Park, Namyoon Woo, Heon Young Yeom	An Efficient Optimistic Message Logging Scheme for Recoverable Mobile Computing Systems.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF	asynchronous recovery, fault tolerance, Distributed systems, mobile computing, message logging
10	Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander	A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal specification, formal verification, theorem proving, time warp, parallel discrete event simulation
10	Bidyut Gupta, Samir K. Banerjee	A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems.	ACM Comput. Surv.	2002	DBLP DOI BibTeX RDF
10	Jie Liu 0001, Edward A. Lee	A component-based approach to modeling and simulating mixed-signal and hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II
10	José F. Martínez, Jose Renau, Michael C. Huang 0001, Milos Prvulovic, Josep Torrellas	Cherry: checkpointed early resource recycling in out-of-order microprocessors.	MICRO	2002	DBLP DOI BibTeX RDF
10	Kimio Kuramitsu, Ken Sakamura	Electronic Tickets on Contactless Smartcard Database.	DEXA	2002	DBLP DOI BibTeX RDF
10	Sarmistha Neogy, Anupam Sinha, Pradip Kumar Das	Distributed Checkpointing Using Synchronized Clocks.	COMPSAC	2002	DBLP DOI BibTeX RDF
10	Ranjit Noronha, Nael B. Abu-Ghazaleh	Early cancellation: an active NIC optimization for time-warp.	PADS	2002	DBLP DOI BibTeX RDF	global virtual time, programmable NIC, time warp event simulation, clusters
10	Hai Jin 0001, Kai Hwang 0001	Distributed Checkpointing on Clusters with Dynamic Striping and Staggering.	ASIAN	2002	DBLP DOI BibTeX RDF
10	Paul V. Gestwicki, Bharat Jayaraman	Interactive Visualization of Java Programs.	HCC	2002	DBLP DOI BibTeX RDF
10	MaengSoon Baik, Jin Gon Shon, Kibom Kim, JinHo Ahn, Chong-Sun Hwang	An Efficient Coordinated Checkpointing Scheme Based on PWD Model.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
10	George Bosilca, Aurélien Bouteiller, Franck Cappello, Samir Djilali, Gilles Fedak, Cécile Germain, Thomas Hérault, Pierre Lemarinier, Oleg Lodygensky, Frédéric Magniette, Vincent Néri, Anton Selikhov	MPICH-V: toward a scalable fault tolerant MPI for volatile nodes.	SC	2002	DBLP DOI BibTeX RDF
10	Jichiang Tsai 0001, Jenn-Wei Lin	On Characteristics of DEF Communication-Induced Checkpointing Protocols.	PRDC	2002	DBLP DOI BibTeX RDF
10	B. S. Panda 0001, Sajal K. Das 0001	Performance Evaluation of a Two Level Error Recovery Scheme for Distributed Systems.	IWDC	2002	DBLP DOI BibTeX RDF
10	Matthias Pflanz, Heinrich Theodor Vierhaus	Online Check and Recovery Techniques for Dependable Embedded Processors.	IEEE Micro	2001	DBLP DOI BibTeX RDF
10	Shyh-Kwei Chen, W. Kent Fuchs	Compiler-Assisted Multiple Instruction Word Retry for VLIW Architectures.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	compilers, Fault-tolerant computing, instruction level parallelism, VLIW architectures, instruction retry
10	Bidyut Gupta, Samir K. Banerjee	A Roll-Forward Recovery Scheme for Solving the Problem of Coasting Forward for Distributed Systems.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
10	Ravi Rajwar, James R. Goodman	Speculative lock elision: enabling highly concurrent multithreaded execution.	MICRO	2001	DBLP DOI BibTeX RDF
10	Markus Kirchberg, Klaus-Dieter Schewe	A comparison of multi-level concurrency control protocols.	ADC	2001	DBLP DOI BibTeX RDF	[H2.4] transaction processing, concurrency [H2.7] logging and recovery
10	Garrett R. Yaun, Christopher D. Carothers, Sibel Adali, David L. Spooner	Complex and interconnected systems: optimistic parallel simulation of a large-scale view storage system.	WSC	2001	DBLP DOI BibTeX RDF
10	Thomas Phan, Rajive L. Bagrodia	Optimistic simulation of parallel message-passing applications.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
10	Robert Hood, Gregory Matthews	Efficient Tracing for On-the-Fly Space-Time Displays in a Debugger for Message Passing Programs.	CCGRID	2001	DBLP DOI BibTeX RDF
10	Ron Sher, Yariv Aridor, Opher Etzion	Mobile Transactional Agents.	ICDCS	2001	DBLP DOI BibTeX RDF
10	YunHee Kang, Ho-sang Ham, Chong-Sun Hwang	A Fault-Tolerant Scheme of Multi-agent System for Worker Agents.	Active Media Technology	2001	DBLP DOI BibTeX RDF
10	Sarmistha Neogy, Anupam Sinha, Pradip Kumar Das	Checkpoint Processing in Distributed Systems Software Using Synchronized Clocks.	ITCC	2001	DBLP DOI BibTeX RDF
10	Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo	Optimal Checkpoint Interval Analysis Using Stochastic Petri Net.	PRDC	2001	DBLP DOI BibTeX RDF
10	Iluju Kiringa	Simulation of Advanced Transaction Models Using GOLOG.	DBPL	2001	DBLP DOI BibTeX RDF
10	Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino	ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol
10	Remo Suppi, Fernando Cores, Emilio Luque	An Efficient Method for Improving Large Optimistic PDES.	MASCOTS	2000	DBLP DOI BibTeX RDF
10	Vítor N. Távora, Luís Moura Silva, João Gabriel Silva	Distributed Checkpointing Mechanism for a Parallel File System.	PVM/MPI	2000	DBLP DOI BibTeX RDF	fault-tolerance and reliability, file checkpointing, extensions and improvements to pvm, checkpointing, parallel i/o
10	Remo Suppi, Fernando Cores, Emilio Luque	Improving Optimistic PDES in PVM Environments.	PVM/MPI	2000	DBLP DOI BibTeX RDF
10	Adelinde M. Uhrmacher, K. Gugler	Distributed, parallel simulation of multiple, deliberative agents.	PADS	2000	DBLP DOI BibTeX RDF
10	Do-Hyung Kim, Chang-Soon Park	A Communication-Induced Checkpointing Algorithm Using Virtual Checkpoint on Distributed Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	checkpoint, recovery
10	Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders	On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading.	ICDCS	2000	DBLP DOI BibTeX RDF	Long-life applications, guarded software upgrading, error containment and recovery, inherent resource redundancies, checkpointing
10	Azzedine Boukerche, Alessandro Fabbri, Armin R. Mikler	Distributed Simulation over Loosely Coupled Domains.	DS-RT	2000	DBLP DOI BibTeX RDF	Local Time Warp, Distributed Simulation, Flow Control, Resource Control, Loosely Coupled Systems
10	Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyen, Grace Tsai	Statically Safe Speculative Execution for Real-Time Systems.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	shadow execution, Real-time systems, distributed computation, static analysis, speculative execution, compiler transformations
10	Alois Ferscha	Adaptive Time Warp Simulation of Timed Petri Nets.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Adaptive distributed simulation, CS-2, CM-5.CR Categories and Subject Descriptors: 1) C.2 (Computer Communication Networks: distributed systems—distributed applications), 2) C.4 (Computer Systems Organization: performance of systems—modeling techniques) and 3) I.6.8 (Simulation and Modeling: types of simulation—distributed, parallel), Petri nets, optimism control, Time Warp
10	Dan Pei, Dongsheng Wang 0002, Youhui Zhang, Meiming Shen	Quasi-Asynchronous Migration: A Novel Migration Protocol for PVM Tasks.	ACM SIGOPS Oper. Syst. Rev.	1999	DBLP DOI BibTeX RDF
10	Randi Karlsen	Supporting Partial Isolation in Flat Transaction.	DEXA	1999	DBLP DOI BibTeX RDF
10	Francesco Quaglia	Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation.	Workshop on Parallel and Distributed Simulation	1999	DBLP DOI BibTeX RDF
10	Helge Hagenauer	Global Virtual Time Approximation for Split Queue Time Warp.	ACPC	1999	DBLP DOI BibTeX RDF
10	Haiyan Xu, Tetsuya Furukawa, Yihua Shi	Supporting Cooperative Work Based on the Semantics of Workflows.	DANTE	1999	DBLP DOI BibTeX RDF
10	S. Misbah Deen	A Computational Model for a Cooperating Agent System.	CIA	1999	DBLP DOI BibTeX RDF
10	Angkul Kongmunvattana, Nian-Feng Tzeng	Logging and Recovery in Adaptive Software Distributed Shared Memory Systems.	SRDS	1999	DBLP DOI BibTeX RDF
10	Samuel Norman Hamilton, Alex Orailoglu	Efficient Self-Recovering ASIC Design.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
10	Stefan Schmerler, Yankin Tanurhan, Klaus D. Müller-Glaser	Advanced Optimistic Approaches in Logic Simulation.	DATE	1998	DBLP DOI BibTeX RDF
10	Soichiro Hidaka, Terumasa Aoki, Hitoshi Aida, Tadao Saito	A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes.	ISCOPE	1998	DBLP DOI BibTeX RDF
10	Luís Moura Silva, João Gabriel Silva	An Experimental Study about Diskless Checkpointing.	EUROMICRO	1998	DBLP DOI BibTeX RDF
10	Hong K. Kim, Jack S. N. Jean	Parallel Optimistic Logic Simulation with Event Lookahead.	ICPP	1998	DBLP DOI BibTeX RDF
10	Helge Hagenauer, Werner Pohlmann	Ada 95 for a Distributed Simulation System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
10	Subbarayan Venkatesan, Tong-Ying Tony Juang, Sridhar Alagar	Optimistic Crash Recovery without Changing Application Messages.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	fail-stop failures, optimistic message logging, distributed algorithms, time complexity, message complexity, Crash recovery
10	Maciek Kormicki, Ausif Mahmood, Bradley S. Carlson	Parallel logic simulation on a network of workstations using parallel virtual machine.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	synchronous simulation, distributed computing, PVM, parallel logic simulation
10	Samir Ranjan Das, Richard Fujimoto	Adaptive Memory Management and Optimism Control in Time Warp.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF
10	Jiannong Cao 0001, Weijia Jia 0001, Xiaohua Jia, To-Yat Cheung	Design and Analysis of An Efficient Algorithm for Coordinated Checkpointing in Distributed Systems.	APDC	1997	DBLP DOI BibTeX RDF
10	Alessandro Fabbri, Lorenzo Donatiello	SQTW: A Mechanism for State-Dependent Parallel Simulation. Description and Experimental Study.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
10	Yasunori Ishihara, Hiroyuki Seki, Minoru Ito	Type-Consistency Problems for Queries in Object-Oriented Databases.	ICDT	1997	DBLP DOI BibTeX RDF
10	Ravi Prakash 0001, Mukesh Singhal	Low-Cost Checkpointing and Failure Recovery in Mobile Computing Systems.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	global snapshot, Checkpointing, recovery, portable computers, mobile computing systems, causal dependency
10	Phillip M. Dickens, David M. Nicol, Paul F. Reynolds Jr., John Mark Duva	Analysis of Bounded Time Warp and Comparison with YAWNS.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	parallel simulation, synchronization protocol
10	Robert Rönngren, Michael Liljenstam, Rassul Ayani, Johan Montagnat	Transparent Incremental State Saving in Time Warp Parallel Discrete Event Simulation.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Parallel Simulation, Time Warp, State Saving
10	Samir R. Das	Estimating the Cost of Throttled Execution in Time Warp.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	performance model, discrete event simulation, parallel simulation, time warp
10	Jie Xu 0007, Brian Randell	Roll-forward error recovery in embedded real-time systems.	ICPADS	1996	DBLP DOI BibTeX RDF	roll-forward error recovery, checkpointing schemes, time-critical applications, checkpoint validation steps, fault-free processors, interaction-intensive applications, checkpoint validation, real-time systems, fault tolerant computing, distributed processing, multiprocessing systems, system recovery, embedded real-time systems
10	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Ensuring Atomicity of Multilevel Transactions.	S&P	1996	DBLP DOI BibTeX RDF
10	Euthimios Panagos, Alexandros Biliris, H. V. Jagadish, Rajeev Rastogi	Fine-granularity Locking and Client-Based Logging for Distributed Architectures.	EDBT	1996	DBLP DOI BibTeX RDF
10	Yi-Min Wang, Pi-Yu Chung, In-Jen Lin, W. Kent Fuchs	Checkpoint Space Reclamation for Uncoordinated Checkpointing in Message-Passing Systems..	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
10	Raghunandan Rajan, Philip A. Wilsey	Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	aggressive cancellation, Time Warp parallel discrete event simulator, cancellation strategy, erroneous computation, lazy cancellation, straggler, previous state, anti messages, forward processing, regenerated output messages, hit/miss ratio, digital system simulation, performance, parallel programming, protocols, discrete event simulation, adaptive systems, synchronisation, LC, AC, time warp simulation, logical process, adaptive technique, PDES, adaptive approach
10	Shankar Pal, Sitaram Lanka	Isolation of Transaction Aborts in Object-Oriented Database Management Systems.	CIKM	1994	DBLP DOI BibTeX RDF
10	Samir Ranjan Das, Richard Fujimoto	An Adaptive Memory Management Protocol for Time Warp Simulation.	SIGMETRICS	1994	DBLP DOI BibTeX RDF
10	João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino	A Fault-Tolerant Mechanism for Simple Controllers.	EDCC	1994	DBLP DOI BibTeX RDF
10	Jordi Cortadella, Tomás Lang	Division with speculation of quotient digits.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
10	Ian F. Akyildiz, Liang Chen, Samir Ranjan Das, Richard Fujimoto, Richard F. Serfozo	Performance Analysis of "Time Warp" with Limited Memory.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
10	David M. Nicol	Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	parallel simulation, synchronization protocol
10	Tein-Hsiang Lin, Kang G. Shin	A Bayesian Appraoch to Fault Classification.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
10	Vijay K. Madisetti, Jean C. Walrand, David G. Messerschmitt	Efficient distributed simulation.	Annual Simulation Symposium	1989	DBLP DOI BibTeX RDF
10	Moon-Jung Chung, Y. Chung	Data Parallel Simulation Using Time-Warp on the Connection Machine.	DAC	1989	DBLP DOI BibTeX RDF
10	Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath	MITRE's future generation computer architectures program.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
10	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
10	Sang Hyuk Son	Replicated Data Management in Distributed Database Systems.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
10	Pete Tinker, Morry Katz	Parallel Execution of Sequential Scheme with ParaTran.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	SCHEME
10	Scott E. Hudson, Roger King	Object-Oriented Database Support for Software Environments.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
10	Ilsoo Ahn, Richard T. Snodgrass	Performance Evaluation of a Temporal Database Management System.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF	QUEL, INGRES
10	Robert E. Strom, Shaula Yemini	Optimistic Recovery in Distributed Systems	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF
10	Naoki Katoh, Toshihide Ibaraki, Tiko Kameda	Cautious Transaction Schedulers with Admission Control.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
10	Alfonso F. Cardenas, Farid Alavian, Algirdas Avizienis	Performance of Recovery Architectures in Parallel Associative Database Processors.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	associative database processors