Search results for "Rollback"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Andrew G. West, Sampath Kannan, Insup Lee 0001	Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?	EUROSEC	2010	DBLP DOI BibTeX RDF	content-based access control, spatio-temporal reputation, vandalism, Wikipedia, collaborative software
10	Sangho Yi, Jung-Yeop Kim, Hong Min, Bongjae Kim, Chang Oan Sung	ART: adaptive, reliable, and fault-tolerant task management for computational grids.	SAC	2010	DBLP DOI BibTeX RDF	fault-tolerance, grid computing, task management
10	Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier	Connector-Driven Process for the Gradual Evolution of Component-Based Software.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
10	René Korthaus, Ahmad-Reza Sadeghi, Christian Stüble, Jing Zhan	A practical property-based bootstrap architecture.	STC	2009	DBLP DOI BibTeX RDF	mobile trusted module (mtm), property-based attestation, trusted computing (tc), secure boot
10	Tuukka Haapasalo, Seppo Sippu, Ibrahim Jaluta, Eljas Soisalon-Soininen	Concurrent updating transactions on versioned data.	IDEAS	2009	DBLP DOI BibTeX RDF	database indexing methods, concurrency control, temporal databases, recovery
10	Yanteng Sun, Peng Li 0031, Guochang Gu, Yuan Wen, Yuan Liu, Dong Liu	HMMer acceleration using systolic array based reconfigurable architecture.	FPGA	2009	DBLP DOI BibTeX RDF	reconfigurable., systolic array, acceleration, hmmer
10	Emmad Saadeh, Derrick G. Kourie	Composite refactoring using fine-grained transformations.	SAICSIT	2009	DBLP DOI BibTeX RDF	FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive
10	Yanteng Sun, Peng Li, Guochang Gu, Yuan Wen, Yuan Liu, Dong Liu	Accelerating HMMer on FPGAs using systolic array based architecture.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles	A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	reliability, energy minimization, hard real-time systems
10	Cui-e Chen, Shulin Wang, Ying Chen, Yang Meng, Hua Ma	Analysis of Enterprise Workflow Solutions.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Shark, Workflow, office automation, workflow pattern, dynamic workflow
10	André van Cleeff, Wolter Pieters, Roel J. Wieringa	Security Implications of Virtualization: A Literature Study.	CSE (3)	2009	DBLP DOI BibTeX RDF
10	Jesse Sathre, Alex Baumgarten, Joseph Zambreno	Architectural Support for Automated Software Attack Detection, Recovery, and Prevention.	CSE (2)	2009	DBLP DOI BibTeX RDF
10	Xinfeng Ye, Yi Chen	A Middleware for Controlling the Execution of Composite Services.	CSE (2)	2009	DBLP DOI BibTeX RDF
10	Ashay Narsale, Michael C. Huang 0001	Variation-tolerant hierarchical voltage monitoring circuit for soft error detection.	ISQED	2009	DBLP DOI BibTeX RDF
10	Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch	InvisiFence: performance-transparent memory ordering in conventional multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, memory consistency
10	Andrew Lenharth, Vikram S. Adve, Samuel T. King	Recovery domains: an organizing principle for recoverable operating systems.	ASPLOS	2009	DBLP DOI BibTeX RDF	akeso, automatic fault recovery, recovery domains
10	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
10	Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng	Synthesis of Fault-Tolerant Embedded Systems.	DATE	2008	DBLP DOI BibTeX RDF
10	Yi Liu 0013, Xin Zhang, He Li, Mingxiu Li, Depei Qian	Hardware Transactional Memory Supporting I/O Operations within Transactions.	HPCC	2008	DBLP DOI BibTeX RDF
10	Tsukasa Takemura	Formal Semantics and Verification of BPMN Transaction and Compensation.	APSCC	2008	DBLP DOI BibTeX RDF
10	Chi Chen, Dengguo Feng, Min Zhang, De-sheng Zhang, He-qun Xian	Research on Malicious Transaction Processing Method of Database System.	WAIM	2008	DBLP DOI BibTeX RDF
10	Sang-Won Lee 0001, Bongki Moon, Chanik Park, Jae-Myung Kim, Sang-Woo Kim	A case for flash memory ssd in enterprise database applications.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	flash-memory database server, flash-memory ssd
10	Ruck Thawonmas, Yoshitaka Kashifuji, Kuan-Ta Chen	Detection of MMORPG bots based on behavior analysis.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	action frequency, action type, game bot, online game
10	Chengmo Yang, Alex Orailoglu	A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization.	CASES	2008	DBLP DOI BibTeX RDF	fault detection, checkpointing, fault recovery
10	Cosmin E. Oancea, Alan Mycroft	Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS).	LCPC	2008	DBLP DOI BibTeX RDF
10	Jing Li 0062, Huibiao Zhu, Jifeng He 0001	Specifying and Verifying Web Transactions.	FORTE	2008	DBLP DOI BibTeX RDF
10	Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott	Implementing and Exploiting Inevitability in Software Transactional Memory.	ICPP	2008	DBLP DOI BibTeX RDF
10	Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami	A Bounded-Optimistic, Parallel Beta-Binders Simulator.	DS-RT	2008	DBLP DOI BibTeX RDF
10	Alfred Park, Richard M. Fujimoto	Optimistic Parallel Simulation over Public Resource-Computing Infrastructures and Desktop Grids.	DS-RT	2008	DBLP DOI BibTeX RDF
10	Qi Liu 0009, Gabriel A. Wainer	Lightweight Time Warp - A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models.	DS-RT	2008	DBLP DOI BibTeX RDF
10	Hideyuki Jitsumoto, Toshio Endo, Satoshi Matsuoka	Environmental-aware optimization of MPI checkpointing intervals.	CLUSTER	2008	DBLP DOI BibTeX RDF
10	Ganesh S. Dasika, Shidhartha Das, Kevin Fan, Scott A. Mahlke, David M. Bull	DVFS in loop accelerators using BLADES.	DAC	2008	DBLP DOI BibTeX RDF	embedded systems, low power, high-level synthesis, voltage scaling, frequency scaling
10	Manish Marwah, Shivakant Mishra, Christof Fetzer	Systems Architectures for Transactional Network Interface.	HASE	2007	DBLP DOI BibTeX RDF
10	Partha Sarathi Mandal 0001, Krishnendu Mukhopadhyaya	Checkpointing Using Mobile Agents in Distributed Systems.	ICCTA	2007	DBLP DOI BibTeX RDF
10	José Carlos Mouriño, María J. Martín, Patricia González, Ramon Doallo	Fault-tolerant solutions for a MPI compute intensive application.	PDP	2007	DBLP DOI BibTeX RDF
10	Timo Lilja, Riku Saikkonen, Seppo Sippu, Eljas Soisalon-Soininen	Online Bulk Deletion.	ICDE	2007	DBLP DOI BibTeX RDF
10	Tien N. Nguyen	Integration of Configuration Management and Hypermedia for Managing Changes in Database Applications.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
10	Darka Mioc, Francois Anton, Christopher M. Gold, Bernard Moulin	Reversibility of the Quad-Edge operations in the Voronoi data structure.	ISVD	2007	DBLP DOI BibTeX RDF
10	Chandreyee Chowdhury, Sarmistha Neogy	A Consistent Checkpointing-Recovery Protocol for Minimal Number of Nodes in Mobile Computing System.	HiPC	2007	DBLP DOI BibTeX RDF	consistency, Checkpointing, Recovery, message logging, Mobile computing system
10	Tien-Ting Fang, Ting-Chi Wang	Fast Buffered Delay Estimation Considering Process Variations.	ASP-DAC	2007	DBLP DOI BibTeX RDF	statistical buffer insertion method, buffered delay estimation, first-order canonical forms, buffer blockages, deterministic delay estimation method, process variations
10	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems.	ARES	2007	DBLP DOI BibTeX RDF
10	David W. Bauer, Ernest H. Page	Optimistic parallel discrete event simulation of the event-based transmission line matrix method.	WSC	2007	DBLP DOI BibTeX RDF
10	Sayantan Chakravorty, Laxmikant V. Kalé	A Fault Tolerance Protocol with Fast Fault Recovery.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Pilsung Kang 0002, Mike Heffner, Joy Mukherjee, Naren Ramakrishnan, Srinidhi Varadarajan, Calvin J. Ribbens, Danesh K. Tafti	The Adaptive Code Kitchen: Flexible Tools for Dynamic Application Composition.	IPDPS	2007	DBLP DOI BibTeX RDF
10	Gabriel Rodríguez 0001, Patricia González, María J. Martín, Juan Touriño	Enhancing Fault-Tolerance of Large-Scale MPI Scientific Applications.	PaCT	2007	DBLP DOI BibTeX RDF	Fault tolerance, MPI, checkpointing, parallel applications
10	Jing Li 0062, Huibiao Zhu, Geguang Pu, Jifeng He 0001	Looking into Compensable Transactions.	SEW	2007	DBLP DOI BibTeX RDF
10	Jiping Zheng 0001, Xiaolin Qin, Jin Sun	Data Dependency Based Recovery Approaches in Survival Database Systems.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
10	Philippe Mauran, Gérard Padiou, Philippe Quéinnec	Separability to Help Parallel Simulation of Distributed Computations.	OPODIS	2007	DBLP DOI BibTeX RDF	scheduling, causality, separability, parallel discrete event simulation
10	Cristian Tapus, Jason Hickey	A Theory of Nested Speculative Execution.	COORDINATION	2007	DBLP DOI BibTeX RDF
10	Stephen Mark Glass, Vallipuram Muthukkumarasamy	A Study of the TKIP Cryptographic DoS Attack.	ICON	2007	DBLP DOI BibTeX RDF
10	Avijit Dutta, Nur A. Touba	Reliable Network-on-Chip Using a Low Cost Unequal Error Protection Code.	DFT	2007	DBLP DOI BibTeX RDF
10	Bruno Coutinho, Dorgival Olavo Guedes Neto, Wagner Meira Jr., Renato Ferreira 0001	Fault-tolerance in filter-labeled-stream applications.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
10	Chaokun Wang, Jianmin Wang 0001, Jianzhong Li 0001, Jia-Guang Sun 0001, Shengfei Shi	MuSQL: A Music Structured Query Language.	MMM (2)	2007	DBLP DOI BibTeX RDF	Music query languages, music semantics, Backus-Naur Form, structured query languages
10	Qi Gao 0004, Wei Huang 0003, Matthew J. Koop, Dhabaleswar K. Panda 0001	Group-based Coordinated Checkpointing for MPI: A Case Study on InfiniBand.	ICPP	2007	DBLP DOI BibTeX RDF
10	Thomas F. Wenisch, Anastassia Ailamaki, Babak Falsafi, Andreas Moshovos	Mechanisms for store-wait-free multiprocessors.	ISCA	2007	DBLP DOI BibTeX RDF	store buffer design, memory consistency models
10	Fredrik Degerlund, Marina Waldén, Kaisa Sere	Implementation Issues Concerning the Action Systems Formalism.	PDCAT	2007	DBLP DOI BibTeX RDF
10	Ying Zhang 0041, Krishnendu Chakrabarty	A unified approach for fault tolerance and dynamic power management in fixed-priority real-time embedded systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
10	Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman	p_RBT-calculus Compensation and Exception Handling Protocol.	PDP	2006	DBLP DOI BibTeX RDF
10	Gaurav Mathur, Peter Desnoyers, Deepak Ganesan, Prashant J. Shenoy	Capsule: an energy-optimized object storage system for memory-constrained sensor devices.	SenSys	2006	DBLP DOI BibTeX RDF	sensor network, embedded systems, energy efficiency, file system, objects, flash memory, storage system
10	Angelo Duarte, Dolores Rexachs, Emilio Luque	An Intelligent Management of Fault Tolerance in Cluster Using RADICMPI.	PVM/MPI	2006	DBLP DOI BibTeX RDF
10	Imran Rao, Nomica Imran, Pillwoo Lee, Eui-nam Huh, TaeChoong Chung	A Proxy Based Efficient Checkpointing Scheme for Fault Recovery in Mobile Grid System.	HiPC	2006	DBLP DOI BibTeX RDF	Fault Tolerance, Checkpointing, Mobile Grid
10	Tien N. Nguyen	Model-oriented Configuration Management for Relational Database Applications.	CIT	2006	DBLP DOI BibTeX RDF
10	Yang Xiao 0003, Susan Darling Urban, Suzanne W. Dietrich	A Process History Capture System for Analysis of Data Dependencies in Concurrent Process Execution.	DEECS	2006	DBLP DOI BibTeX RDF
10	Buquan Liu, Yiping Yao, Jing Tao, Huaimin Wang	Implementation of time management in a runtime infrastructure.	WSC	2006	DBLP DOI BibTeX RDF
10	Thomas Huining Feng, Edward A. Lee	Incremental checkpointing with application to distributed discrete event simulation.	WSC	2006	DBLP DOI BibTeX RDF
10	Zizhong Chen, Jack J. Dongarra	Algorithm-based checkpoint-free fault tolerance for parallel matrix computations on volatile resources.	IPDPS	2006	DBLP DOI BibTeX RDF
10		Design, Analysis and Performance Evaluation of a New Algorithm for Developing a Fault Tolerant Distributed System.	ICPADS (1)	2006	DBLP DOI BibTeX RDF	Critical interval, output commit, lost messages etc
10	Min Ma, Shiyao Jin, Chaoqun Ye, Xiaojian Liu	Dynamic Fault Tolerance in Distributed Simulation System.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
10	Christian El Salloum, Andreas Steininger, Peter Tummeltshammer, Werner Harter	Recovery Mechanisms for Dual Core Architectures.	DFT	2006	DBLP DOI BibTeX RDF
10	Qi Gao 0004, Weikuan Yu, Wei Huang 0003, Dhabaleswar K. Panda 0001	Application-Transparent Checkpoint/Restart for MPI Programs over InfiniBand.	ICPP	2006	DBLP DOI BibTeX RDF
10	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication.	DELTA	2006	DBLP DOI BibTeX RDF
10	Michael Lees, Brian S. Logan 0001, Dan Chen, Ton Oguara, Georgios Theodoropoulos 0001	Analysing Probabilistically Constrained Optimism.	DS-RT	2006	DBLP DOI BibTeX RDF
10	Fábio Reis Cecin, Cláudio Fernando Resin Geyer, Solon Rabello, Jorge L. V. Barbosa	A peer-to-peer simulation technique for instanced massively multiplayer games.	DS-RT	2006	DBLP DOI BibTeX RDF
10	Austen McDonald, JaeWoong Chung, Brian D. Carlstrom, Chi Cao Minh, Hassan Chafi, Christos Kozyrakis, Kunle Olukotun	Architectural Semantics for Practical Transactional Memory.	ISCA	2006	DBLP DOI BibTeX RDF
10	Angelo Duarte, Dolores Rexachs, Emilio Luque	Increasing the cluster availability using RADIC.	CLUSTER	2006	DBLP DOI BibTeX RDF
10	Yuanyuan Zhou 0001, Pin Zhou, Feng Qin, Wei Liu 0014, Josep Torrellas	Efficient and flexible architectural support for dynamic monitoring.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support
10	Youhui Zhang, Dongsheng Wong, Weimin Zheng	User-level checkpoint and recovery for LAM/MPI.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	Linux
10	Naoki Kobayashi 0005, Tadashi Dohi	Bayesian Perspective of Optimal Checkpoint Placement.	HASE	2005	DBLP DOI BibTeX RDF
10	Angie Chandler, Joe Finney	Rendezvous: An Alternative Approach to Conflict Resolution for Real Time Multi-User Applications.	PDP	2005	DBLP DOI BibTeX RDF
10	Jae-Gon Lee, Moo-Kyoung Chung, Ki-Yong Ahn, Sang-Heon Lee 0006, Chong-Min Kyung	A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation.	DATE	2005	DBLP DOI BibTeX RDF
10	Meyrem Kirman, Nevin Kirman, José F. Martínez	Cherry-MP: Correctly Integrating Checkpointed Early Resource Recycling in Chip Multiprocessors.	MICRO	2005	DBLP DOI BibTeX RDF
10	Kwang-Sik Chung, Heon-Chang Yu, Seongbin Park	Garbage Collection in a Causal Message Logging Protocol.	HPCC	2005	DBLP DOI BibTeX RDF
10	Francesco Quaglia, Andrea Santoro, Bruno Ciciani	Towards Transparent Optimistic Synchronization in HLA.	FIRB-Perf	2005	DBLP DOI BibTeX RDF
10	Guy Eddon, Steven P. Reiss	Myrrh: A Transaction-Based Model for Autonomic Recovery.	ICAC	2005	DBLP DOI BibTeX RDF
10	Weidong Shi, Hsien-Hsin S. Lee, Guofei Gu, Laura Falk, Trevor N. Mudge, Mrinmoy Ghosh	An Intrusion-Tolerant and Self-Recoverable Network Service System Using A Security Enhanced Chip Multiprocessor.	ICAC	2005	DBLP DOI BibTeX RDF	Intrusion-tolerant computing, survivable service, buffer overflow, self-healing, rootkits, chip multi processor
10	Pawel T. Wojciechowski	Isolation-only transactions by typing and versioning.	PPDP	2005	DBLP DOI BibTeX RDF	declarative synchronization, singleton kinds, concurrency, programming languages, transactions, lambda calculus, type theory, isolation, abstract types
10	D. Manivannan 0001, Qiangfeng Jiang, Jianchang Yang, Karl E. Persson, Mukesh Singhal	An Asynchronous Recovery Algorithm Based on a Staggered Quasi-Synchronous Checkpointing Algorithm.	IWDC	2005	DBLP DOI BibTeX RDF
10	Michael Lees, Brian S. Logan 0001, Dan Chen, Ton Oguara, Georgios Theodoropoulos 0001	Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems.	DS-RT	2005	DBLP DOI BibTeX RDF
10	Edmilson Marmo Moreira, Regina Helena Carlucci Santana, Marcos José Santana	Using Consistent Global Checkpoints to Synchronize Processes in Distributed Simulation.	DS-RT	2005	DBLP DOI BibTeX RDF
10	Rodrigo Schmidt, Fernando Pedone	Consistent Main-Memory Database Federations under Deferred Disk Writes.	SRDS	2005	DBLP DOI BibTeX RDF	dependency tracking, rollbackrecovery, consistency, distributed transactions, MMDBs
10	Michael R. Lyu, Xinyu Chen, Tsz Yeung Wong	Design and Evaluation of a Fault-Tolerant Mobile-Agent System.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
10	Rajanikanth Batchu, Yoginder S. Dandass, Anthony Skjellum, Murali Beddhu	MPI/FT: A Model-Based Approach to Low-Overhead Fault Tolerant Message-Passing Middleware.	Clust. Comput.	2004	DBLP DOI BibTeX RDF	model-based fault tolerance, MPI, fault detection, cluster computing, group communication
10	Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Jun Xu 0003	An Architectural Framework for Providing Reliability and Security Support.	DSN	2004	DBLP DOI BibTeX RDF
10	Ying Zhang 0041, Krishnendu Chakrabarty	Task Feasibility Analysis and Dynamic Voltage Scaling in Fault-Tolerant Real-Time Embedded Systems.	DATE	2004	DBLP DOI BibTeX RDF
10	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
10	Akinobu Fukuzaki, Takeshi Nagashima, Kaori Ide, Fumikazu Konishi, Mariko Hatakeyama, Shigeyuki Yokoyama, Seiki Kuramitsu, Akihiko Konagaya	Genome-Wide Functional Annotation Environment forin OBIGrid.	LSGRID	2004	DBLP DOI BibTeX RDF
10	Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan	An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications.	WAIM	2004	DBLP DOI BibTeX RDF
10	Michele Portolan, Régis Leveugle	Operating System Function Reuse to Achieve Low-Cost Fault Tolerance.	IOLTS	2004	DBLP DOI BibTeX RDF
10	Michael J. Butler, Carla Ferreira 0001	An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.	COORDINATION	2004	DBLP DOI BibTeX RDF
10	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Preemption-Based Avoidance of Priority Inversion for Java.	ICPP	2004	DBLP DOI BibTeX RDF