Search results for "consistent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Djamal Habet, Lionel Paris, Belaid Benhamou	Consistent Neighborhood for the Satisfiability Problem.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
16	Ramsés Morales, Indranil Gupta	AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems.	ICDCS	2007	DBLP DOI BibTeX RDF	Optimality, Scalability, Monitoring, Consistency, Availability, Overlay, Churn
16	Wei-Zhi Wu	Knowledge Reduction in Consistent Incomplete Decision Systems Based on Dempster-Shafer Theory of Evidence.	FSKD (1)	2007	DBLP DOI BibTeX RDF
16	Pierre Schaus, Yves Deville, Pierre Dupont	Bound-Consistent Deviation Constraint.	CP	2007	DBLP DOI BibTeX RDF
16	Neil C. Rowe	Finding Logically Consistent Resource-Deception Plans for Defense in Cyberspace.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
16	Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng	Generating customized yet factually consistent information: a constraint satisfaction approach.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems
16	Florian Deissenboeck, Markus Pizka	Concise and consistent naming.	Softw. Qual. J.	2006	DBLP DOI BibTeX RDF
16	Jef Wijsen	Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies.	FQAS	2006	DBLP DOI BibTeX RDF
16	Rhodri H. Davies, Carole J. Twining, Christopher J. Taylor 0001	Consistent spherical parameterisation for statistical shape modelling.	ISBI	2006	DBLP DOI BibTeX RDF
16	Yen-Tuo Chang, Bing-Yu Chen 0004, Wan-Chi Luo, Jian-Bin Huang	Skeleton-Driven Animation Transfer Based on Consistent Volume Parameterization.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
16	Nuaman Asbeh, Mor Peleg, Mitchell Schertz, Tsvi Kuflik	Creating Consistent Diagnoses List for Developmental Disorders Using UMLS.	NGITS	2006	DBLP DOI BibTeX RDF
16	Chaoguang Men, Yunlong Zhao, Wenbin Yao	A Two-Phase Time-based Consistent Checkpointing Strategy.	ITNG	2006	DBLP DOI BibTeX RDF	time-based checkpointing, fault tolerant, distributed system, checkpoint, coordinated checkpointing
16	Jan Chomicki	Consistent Query Answering: Opportunities and Limitations.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
16	Zijing Tan, Wei Wang 0009, Baile Shi	Extending Tree Automata to Obtain Consistent Query Answer from Inconsistent XML Document.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
16	Wanhua Hu, Tao Lin 0006, Kazuo Sakai, Atsumi Imamiya, Masaki Omata	Setup Consistent Visual Textures for Haptic Surfaces in a Virtual Reality World.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF	textured surfaces, virtual reality, haptics, multimodal human-computer interfaces
16	SungEun Jo, Sang Woo Kim	Consistent normalized least mean square filtering with noisy data matrix.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
16	Leopoldo E. Bertossi, Loreto Bravo	Consistent Query Answers in Virtual Data Integration Systems.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
16	Florian Deißenböck, Markus Pizka	Concise and Consistent Naming.	IWPC	2005	DBLP DOI BibTeX RDF
16	Daniel Král, Ondrej Pangrác	An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent Constraint Satisfaction Problems.	MFCS	2005	DBLP DOI BibTeX RDF
16	Bin Gao 0001, Tie-Yan Liu, Tao Qin 0001, Xin Zheng, QianSheng Cheng, Wei-Ying Ma	Web image clustering by consistent utilization of visual features and surrounding texts.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	spectral graph, image processing, consistency, co-clustering
16	Tugkan Batu, Süleyman Cenk Sahinalp	Locally Consistent Parsing and Applications to Approximate String Comparisons.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
16	Ciaran Ferry, Stephen Blott	The consistent web: a vision for the future.	CoNEXT	2005	DBLP DOI BibTeX RDF	web/internet, content distribution, consistency management
16	Katrien Jacobs, Jean-Daniel Nahmias, Cameron Angus, Alex Reche Martinez, Céline Loscos, Anthony Steed	Automatic generation of consistent shadows for augmented reality.	Graphics Interface	2005	DBLP BibTeX RDF	common illumination, augmented reality, image based rendering
16	Alex D. Leow, Sung-Cheng Huang, Alex Geng, James T. Becker, Simon W. Davis, Arthur W. Toga, Paul M. Thompson	Inverse Consistent Mapping in 3D Deformable Image Registration: Its Construction and Statistical Properties.	IPMI	2005	DBLP DOI BibTeX RDF
16	Jirí Srba	On Counting the Number of Consistent Genotype Assignments for Pedigrees.	FSTTCS	2005	DBLP DOI BibTeX RDF
16	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
16	Victor C. S. Lee, Joseph Kee-Yin Ng, Jo Y. P. Chong, Kwok-Wa Lam	Reading temporally consistent data in broadcast disks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
16	Zhijun Wang 0001, Hao Che, Mohan Kumar, Sajal K. Das 0001	CoPTUA: Consistent Policy Table Update Algorithm for TCAM without Locking.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	ternary CAM, policy table update, Network processor, packet classification
16	Xiaolin Wu 0001, Ning Zhang	Primary-consistent soft-decision color demosaicking for digital cameras (patent pending).	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
16	Benjamin Piwowarski, Mounia Lalmas	Providing consistent and exhaustive relevance assessments for XML retrieval evaluation.	CIKM	2004	DBLP DOI BibTeX RDF	relevance assessment process, XML, evaluation, INEX
16	Jan Chomicki, Jerzy Marcinkowski, Slawomir Staworko	Computing consistent query answers using conflict hypergraphs.	CIKM	2004	DBLP DOI BibTeX RDF	query processing, integrity constraints, inconsistency
16	Christian Wöhler	3D Surface Reconstruction by Self-Consistent Fusion of Shading and Shadow Features.	ICPR (2)	2004	DBLP DOI BibTeX RDF
16	Djamal Habet, Michel Vasquez	Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic.	ICTAI	2004	DBLP DOI BibTeX RDF
16	Baruch Awerbuch, Christian Scheideler	Consistent and compact data management in distributed storage systems.	SPAA	2004	DBLP DOI BibTeX RDF	load balancing, peer-to-peer systems, range queries, distributed data management
16	Rodolfo Bezerra Batista, Alerrandro L. A. C. Correa, Alba Cristina Magalhaes Alves de Melo	Computing Binary Space Partition Trees using a Scope Consistent DSM System in a Cluster of Workstations.	PDP	2003	DBLP DOI BibTeX RDF
16	Andreas Nüchter, Hartmut Surmann, Kai Lingemann, Joachim Hertzberg	Consistent 3D Model Construction with Autonomous Mobile Robots.	KI	2003	DBLP DOI BibTeX RDF
16	Sergio Flesca, Filippo Furfaro, Sergio Greco, Ester Zumpano	Repairs and Consistent Answers for XML Data with Functional Dependencies.	Xsym	2003	DBLP DOI BibTeX RDF
16	Raylin Tso, Ying Miao 0001, Eiji Okamoto	A New Algorithm for Searching a Consistent Set of Shares in a Threshold Scheme with Cheaters.	ICISC	2003	DBLP DOI BibTeX RDF
16	Robert D. Kleinberg, Frank Thomson Leighton	Consistent load balancing via spread minimization.	STOC	2003	DBLP DOI BibTeX RDF	load balancing, randomized algorithms, on-line algorithms
16	David Billington, Andrew Rock	Constructive Plausible Logic Is Relatively Consistent.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Knowledge representation, Logic, Common-sense reasoning, Nonmonotonicity
16	Leopoldo E. Bertossi, Jan Chomicki, Alvaro Cortés-Calabuig, Claudio Gutierrez 0001	Consistent Answers from Integrated Data Sources.	FQAS	2002	DBLP DOI BibTeX RDF
16	P. M. van der Poorten, Sheng Zhou, Christopher B. Jones	Topologically-Consistent Map Generalisation Procedures and Multi-scale Spatial Databases.	GIScience	2002	DBLP DOI BibTeX RDF
16	Ana L. N. Fred	Finding Consistent Clusters in Data Partitions.	Multiple Classifier Systems	2001	DBLP DOI BibTeX RDF
16	Shigetoshi Nakatake, Yukiko Kubo, Yoji Kajitani	Consistent floorplanning with super hierarchical constraints.	ISPD	2001	DBLP DOI BibTeX RDF
16	Christophe Costa Florêncio	Consistent Identification in the Limit of Any of the Classes k -Valued Is NP-hard.	LACL	2001	DBLP DOI BibTeX RDF	Learning theory, Grammatical inference, Categorial grammars, Formal language theory
16	Victor C. S. Lee, Kwok-Wa Lam, Simon Wu, Eddie Y. M. Chan	Broadcasting Consistent Data in Mobile Computing Environments.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
16	Hans J. Johnson, Gary E. Christensen	Landmark and Intensity-Based, Consistent Thin-Plate Spline Image Registration.	IPMI	2001	DBLP DOI BibTeX RDF
16	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
16	Viviane Crestana-Jensen, Amy J. Lee, Elke A. Rundensteiner	Consistent Schema Version Removal: An Optimization Technique for Object-Oriented Views.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Object-oriented views, transparent schema evolution, evolving software applications, performance evaluation, interoperability, schema version
16	Wolfgang D. Rencken, Wendelin Feiten, Martin Soika	Large Consistent Geometric Landmark Maps.	Sensor Based Intelligent Robots	2000	DBLP DOI BibTeX RDF
16	Susanne Graf	Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction.	Distributed Comput.	1999	DBLP DOI BibTeX RDF
16	Andrea Clematis, Vittoria Gianuzzi	Extending PVM with Consistent Cut Capabilities: Application Aspects and Implementation Strategies.	PVM/MPI	1999	DBLP DOI BibTeX RDF
16	Paul S. LeMahieu, Jehoshua Bruck	A Consistent History Link Connectivity Protocol.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
16	Takaya Yuizono, Yoji Nagasawa, Jun Munemori	Application of Groupware for a New Idea Generation Consistent Support System Using PDA for Input Device.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	student experiment, idea generation support, KJ method, groupware, PDA
16	Mesaac Makpangou, Guillaume Pierre, Christian Khoury, Neilze Dorta	Replicated Directory Service for Weakly Consistent Distributed Caches.	ICDCS	1999	DBLP DOI BibTeX RDF	Cooperative Caches, Directory Service, Weak Consistency
16	Roberto Baldoni, Jean-Michel Hélary, Michel Raynal	Consistent Records in Asynchronous Computations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
16	Zhonghua Yang, Chengzheng Sun, Abdul Sattar 0001, Yanyan Yang	Guaranteed Mutually Consistent Checkpointing in Distributed Computations.	ASIAN	1998	DBLP DOI BibTeX RDF
16	Loon-Been Chen, I-Chen Wu	An Efficient Incremental Algorithm for Identifying Consistent Checkpoints.	ICPADS	1998	DBLP DOI BibTeX RDF
16	Yunjung Yi, Taesoon Park, Heon Young Yeom	A Causal Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems.	ICPADS	1998	DBLP DOI BibTeX RDF	Lazy release consistency, Fault tolerance, Checkpointing, Rollback-recovery, Message logging, Distributed shared memory system
16	Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	Consistent State Restoration in Shared Memory Systems.	APDC	1997	DBLP DOI BibTeX RDF
16	P. S. Thiagarajan	A Trace Consistent Subset of PTL.	CONCUR	1995	DBLP DOI BibTeX RDF
16	Pascal Poncelet, Lotfi Lakhal	Consistent Structural Updates for Object Database Design	CAiSE	1993	DBLP DOI BibTeX RDF
16	Kokichi Sugihara	Topologically Consistent Algorithms Realted to Convex Polyhedra.	ISAAC	1992	DBLP DOI BibTeX RDF
16	Gil Neiger, Mark R. Tuttle	Common Knowledge and Consistent Simultaneous Coordination.	WDAG	1990	DBLP DOI BibTeX RDF
16	Bernadette Charron-Bost	Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory.	WDAG	1989	DBLP DOI BibTeX RDF
15	I-Cheng Yeh 0001, Chao-Hung Lin, Olga Sorkine, Tong-Yee Lee	Template-Based 3D Model Fitting Using Dual-Domain Relaxation.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	Template-based fitting, dual mesh, local surface flattening, consistent parameterization, Laplacian coordinates, cross-parameterization, intersurface mapping
15	Tetsuo Shima, Suguru Saito, Masayuki Nakajima 0001	Design and Evaluation of More Accurate Gradient Operators on Hexagonal Lattices.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	hexagonal lattice, consistent gradient operator, gradient intensity, Image processing, orientation
15	Jef Wijsen	On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases.	PODS	2010	DBLP DOI BibTeX RDF	first-order expressibility, primary keys, conjunctive queries, consistent query answering
15	Maciej Liskiewicz, Johannes Textor	Negative selection algorithms without generating detectors.	GECCO	2010	DBLP DOI BibTeX RDF	consistent learning, artificial immune systems, negative selection
15	Qing Chen, Evangelos Triantaphyllou	Estimating Data for Multicriteria Decision Making Problems: Optimization Techniques.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Data elicitation, Consistent judgment matrix, Scale, Analytic hierarchy process, AHP, Eigenvalue, Eigenvector, Multicriteria decision making, MCDM, Incomplete judgments, Least squares problem, Pairwise comparisons
15	Chao Yang 0001, Juan C. Meza, Byounghak Lee, Lin-Wang Wang	KSSOLV - a MATLAB toolbox for solving the Kohn-Sham equations.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Kohn-Sham equations, Planewave discretization, direct constrained minimization (DCM), electronic structure calculation, nonlinear eigenvalue problem, pseudopotential, self-consistent field iteration (SCF), density functional theory (DFT)
15	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Intelligently creating and recommending reusable reformatting rules.	IUI	2009	DBLP DOI BibTeX RDF	consistent data format, end-user programming, spreadsheets
15	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
15	Yehuda Afek, Nir Shavit, Moran Tzafrir	Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.	DISC	2009	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot, global state
15	Jun Zhi, Jianyong Liu, Wei Xu, Limin Zhi	Fusion Algorithm Based on the Intuitionistic Fuzzy Set and Multiple Neural Network.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy decision matrix, Additive consistent linear programming, Neural network, Intuitionistic fuzzy set
15	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
15	Thiago Teixeira, Deokwoo Jung, Gershon Dublon, Andreas Savvides	Identifying people in camera networks using wearable accelerometers.	PETRA	2009	DBLP DOI BibTeX RDF	association problem, consistent labelling, unique identification
15	Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal	Development of ISEE: An Information Security Engineering Environment.	ISPA	2009	DBLP DOI BibTeX RDF	Information security engineering environment, ISO/IEC security standards, Consistent development, Continuous maintenance, Security engineering
15	Hamidreza Hashempour, Fabrizio Lombardi	Device Model for Ballistic CNFETs Using the First Conducting Band.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF	CNFET, charge density, self-consistent voltage, drain-source current, CAD, approximation, carbon nanotube, closed-form
15	Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo	Repair localization for query answering from inconsistent databases.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs
15	Yi Luo 0002, D. Manivannan 0001	FINE: A Fully Informed aNd Efficient Communication-Induced Checkpointing Protocol.	ICONS	2008	DBLP DOI BibTeX RDF	communication-induced checkpointing protocols, consistent global checkpoints, Distributed systems
15	Ioanna Roussaki, Maria Strimpakou, Carsten Pils	Distributed Context Retrieval and Consistency Control in Pervasive Computing.	J. Netw. Syst. Manag.	2007	DBLP DOI BibTeX RDF	query handling, consistent context replication, context-awareness, context management
15	Fu-Lai Chung, Shitong Wang 0001, Min Xu, Dewen Hu, Qing Lin	Possibility Theoretic Clustering and its Preliminary Application to Large Image Segmentation.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Exponential possibility distribution, Consistent functions, Epanechnikov kernel functions, Biased sampling, Large image segmentation, Clustering algorithm
15	Oscar Nierstrasz	Modeling Change as a First-Class Entity.	ASWEC	2007	DBLP DOI BibTeX RDF	Software Systems must change to remain useful, Current programming languages and support environments, however, treat software systems as though they were static, unchanging and globally consistent, We argue in favour of a more dynamic approach in which complex software systems can seen as a set of overlapping and constantly changing contexts, We report on some initial research activities pointing in this direction, and we lay out our vision for modeling and managing change as a first-class entity
15	Nalaka Gooneratne, Zahir Tari, James Harland	Verification of web service descriptions using graph-based traversal algorithms.	SAC	2007	DBLP DOI BibTeX RDF	consistent descriptions, verification, service descriptions
15	Patricia Jablonski, Daqing Hou	CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE.	ETX	2007	DBLP DOI BibTeX RDF	consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment
15	Changzhong Wang, Congxin Wu, Degang Chen 0002	Homomorphisms Between Relation Information Systems.	RSKT	2007	DBLP DOI BibTeX RDF	Consistent functions, relation mappings, relation information systems, reduction, homomorphism
15	Eugene V. Shilnikov	Parallel Program Complex for 3D Unsteady Flow Simulation.	PARA	2006	DBLP DOI BibTeX RDF	Unsteady viscous gas flows, Parallel program complex, Kinetically consistent finite difference schemes, Parallelization efficiency, Turbulent flows
15	I. D. Zaslavsky	Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.	TbiLLC	2005	DBLP DOI BibTeX RDF	three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory
15	Marek Tudruj, Janusz Borkowski, Damian Kopanski	Parallel Program Graphical Design with Program Execution Control Based on Global Application States.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Graphical parallel program design, Distributed computing, Consistent global states
15	Mohamed Mosbah 0001, Rodrigue Ossamy	Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing.	ENC	2004	DBLP DOI BibTeX RDF	distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection
15	Paul I. Barton, Cha Kun Lee	Modeling, simulation, sensitivity analysis, and optimization of hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	combined discrete/continuous simulation, consistent reinitialization, state events, sensitivity analysis, transitions, discontinuities, Hybrid automata
15	Augusto Ciuffoletti	Session level rollback recovery.	ISCC	2002	DBLP DOI BibTeX RDF	checkpointing algorithm, recovery algorithm, checkpoint disposal algorithm, quasi-synchronous coordination, consistent cut, distributed control
15	John Moses	A Consideration of the Impact of Interactions with Module Effects on the Direct Measurement of Subjective Software Attributes.	IEEE METRICS	2001	DBLP DOI BibTeX RDF	expert agreement, ordinal scale, 3-D multinomial models, interactions with module length, Bayesian inference, maintainability, cohesion, consistent measurement
15	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
15	Valerio Pascucci, Chandrajit L. Bajaj	Time critical isosurface refinement and smoothing.	VVS	2000	DBLP DOI BibTeX RDF	consistent embedding, multi-resolution data structures, progressive algorithms, smooth isosurfaces, recursive subdivision
15	Lorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel	An Analysis of Communication Induced Checkpointing.	FTCS	1999	DBLP DOI BibTeX RDF	Performance Evaluation, MPI, Checkpointing, Rollback Recovery, Consistent Global States
15	Guohong Cao, Mukesh Singhal	Low-Cost Checkpointing with Mutable Checkpoints in Mobile Computing Systems.	ICDCS	1998	DBLP DOI BibTeX RDF	consistent checkpointing, Mobile computing, non-blocking, causal dependency
15	Christine Morin, Isabelle Puaut	A Survey of Recoverable Distributed Shared Virtual Memory Systems.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	distributed shared virtual memory, consistent states, Distributed systems, availability, backward error recovery
15	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	WDAG	1997	DBLP DOI BibTeX RDF	distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection