Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	DSN	2006	DBLP DOI BibTeX RDF
23	Yoshiyuki Shinkawa	Inter-Model Consistency in UML Based on CPN Formalism.	APSEC	2006	DBLP DOI BibTeX RDF
23	Jing Zhou, Yijie Wang 0001, Sikun Li	Data Dependence-based Optimistic Data Consistency Maintenance Method.	CIT	2006	DBLP DOI BibTeX RDF
23	Umesh Bellur, V. Vallieswaran	On OO Design Consistency in Iterative Development.	ITNG	2006	DBLP DOI BibTeX RDF
23	Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham	Mutual Consistency in Real-Time Databases.	RTSS	2006	DBLP DOI BibTeX RDF
23	Ming Zhao 0002, Renato J. O. Figueiredo	Application-Tailored Cache Consistency for Wide-Area File Systems.	ICDCS	2006	DBLP DOI BibTeX RDF
23	Minglun Gong	Enforcing Temporal Consistency in Real-Time Stereo Estimation.	ECCV (3)	2006	DBLP DOI BibTeX RDF
23	Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey	Finite Domain Bounds Consistency Revisited.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
23	Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures
23	Sudipta N. Sinha, Marc Pollefeys	Multi-View Reconstruction Using Photo-consistency and Exact Silhouette Constraints: A Maximum-Flow Formulation.	ICCV	2005	DBLP DOI BibTeX RDF
23	Yasser Kotb, Takuya Katayama	Consistency checking of UML model diagrams using the XML semantics approach.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	XML, model checking, UML, attribute grammars, XMI
23	Yan Zhang 0004, Xiangdong Qin	Effectively Maintaining Multiple View Consistency in Web Warehouses.	CIT	2005	DBLP DOI BibTeX RDF
23	Francisco Martínez, José Ambrosio Toval Álvarez	A Precise Approach for the Analysis of the UML Models Consistency.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
23	Anders Gidenstam, Boris Koldehofe, Marina Papatriantafilou, Philippas Tsigas	Lightweight Causal Cluster Consistency.	IICS	2005	DBLP DOI BibTeX RDF
23	Ilia Petrov 0001, Stefan Jablonski, Marc Holze	On the Notion of Consistency in Metadata Repository Systems.	CAiSE	2005	DBLP DOI BibTeX RDF
23	Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal	Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users.	ICDCS	2005	DBLP DOI BibTeX RDF
23	Sai Kit Yeung, Pengcheng Shi	Stochastic Inverse Consistency in Medical Image Registration.	MICCAI (2)	2005	DBLP DOI BibTeX RDF
23	Christiane V. Pousa, Luís F. W. Góes, Carlos Augusto Paiva da Silva Martins	Reconfigurable Object Consistency Model for Distributed Shared Memory.	ISPA	2005	DBLP DOI BibTeX RDF
23	Jiannong Cao 0001, Yang Zhang 0017, Li Xie 0001, Guohong Cao	Consistency of Cooperative Caching in Mobile Peer-to-Peer Systems over MANET.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
23	Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk 0001, Johannes Siedersleben	Pragmatic Consistency Management in Industrial Requirements Specifications.	SEFM	2005	DBLP DOI BibTeX RDF
23	Takahiro Hara, Sanjay Kumar Madria	Consistency Management among Replicas in Peer-to-Peer Mobile Ad Hoc Networks.	SRDS	2005	DBLP DOI BibTeX RDF
23	Belarmino Pulido Junquera, Carlos Alonso González	Possible conflicts: a compilation technique for consistency-based diagnosis.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
23	Ngoc Thanh Nguyen 0001, Michal Malowiecki	Consistency Measures for Conflict Profiles.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
23	Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.	CAV	2004	DBLP DOI BibTeX RDF
23	Yi Yang 0014, Du Li	Separating data and control: support for adaptable consistency protocols in collaborative systems.	CSCW	2004	DBLP DOI BibTeX RDF	groupware framework, adaptability, concurrency control, component-based development, collaborative systems
23	Corina Ferdean, Mesaac Makpangou	A Generic and Flexible Model for Replica Consistency Management.	ICDCIT	2004	DBLP DOI BibTeX RDF
23	Jia-Huai You, Guiwen Hou	Arc-Consistency + Unit Propagation = Lookahead.	ICLP	2004	DBLP DOI BibTeX RDF
23	Lijun Shan, Hong Zhu 0002	Consistency Check in Modelling Multi-Agent Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF
23	Ueli M. Maurer	Towards a Theory of Consistency Primitives.	DISC	2004	DBLP DOI BibTeX RDF
23	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.	IPDPS	2004	DBLP DOI BibTeX RDF
23	Du Li, Rui Li 0018	Ensuring Content and Intention Consistency in Real-Time Group Editors.	ICDCS	2004	DBLP DOI BibTeX RDF
23	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
23	Willem Jan van Hoeve	A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint.	CP	2004	DBLP DOI BibTeX RDF
23	Ahlem Ben Hassine, Khaled Ghédira, Tu Bao Ho	New Distributed Filtering-Consistency Approach to General Networks.	IEA/AIE	2004	DBLP DOI BibTeX RDF
23	David J. Roberts 0001, Robin Wolff	Controlling Consistency within Collaborative Virtual Environments.	DS-RT	2004	DBLP DOI BibTeX RDF
23	Shaz Qadeer	Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	specifying and verifying and reasoning about programs, model checking, verification, multiprocessors, Logic design
23	Cheng Shao, Evelyn Pierce, Jennifer L. Welch	Multi-writer Consistency Conditions for Shared Memory Objects.	DISC	2003	DBLP DOI BibTeX RDF
23	Jerzy Brzezinski, Michal Szychowiak	Low Cost Coherence Protocol for DSM Systems with Processor Consistency.	ISCIS	2003	DBLP DOI BibTeX RDF
23	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	On the Consistency Problem for the INDU Calculus.	TIME	2003	DBLP DOI BibTeX RDF
23	Isabel Navarrete, Abdul Sattar 0001, Roque Marín	Deciding consistency of a point-duration network with metric constraints.	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
23	Byungwook Lee	Weak Consistency in Hybrid Group Update for Replication.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
23	Toby Walsh	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.	CP	2003	DBLP DOI BibTeX RDF
23	Zhaofu Wang, Wensong Zhang, Kun Deng	The Consistency Mechanism of Meta-data Management in Distributed Storage System.	GCC (2)	2003	DBLP DOI BibTeX RDF
23	Sudha Krishnamurthy, William H. Sanders, Michel Cukier	An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.	DSN	2002	DBLP DOI BibTeX RDF
23	Francesc D. Muñoz-Escoí, Luis Irún-Briz, Pablo Galdámez, José M. Bernabéu-Aubán, Jordi Bataller, María del Carmen Bañuls, Hendrik Decker	Flexible Management of Consistency and Availability of Networked Data Replications.	FQAS	2002	DBLP DOI BibTeX RDF
23	Gabriel Antoniu, Luc Bougé	Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform.	IWCC	2001	DBLP DOI BibTeX RDF
23	Dirk Düllmann, Wolfgang Hoschek, Francisco Javier Jaén-Martínez, Ben Segal, Heinz Stockinger, Kurt Stockinger, Asad Samar	Models for Replica Synchronisation and Consistency in a Data Grid.	HPDC	2001	DBLP DOI BibTeX RDF
23	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with Compilers.	IEEE PACT	2000	DBLP DOI BibTeX RDF
23	Yuanlin Zhang 0002, Roland H. C. Yap	Arc Consistency on n-ary Monotonic and Linear Constraints.	CP	2000	DBLP DOI BibTeX RDF
23	Salvatore Greco, Benedetto Matarazzo, Roman Slowinski, Jerzy Stefanowski	Variable Consistency Model of Dominance-Based Rough Sets Approach.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
23	Alba Cristina Magalhaes Alves de Melo	Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework.	HICSS	1999	DBLP DOI BibTeX RDF
23	Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal	Lifetime Based Consistency Protocols for Distributed Objects.	DISC	1998	DBLP DOI BibTeX RDF
23	Antonio J. Nebro, Ernesto Pimentel 0001, José M. Troya	Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF
23	Andreas Henrich, Dirk Däberitz	Using a Query Language to State Consistency Constraints for Repositories.	DEXA	1996	DBLP DOI BibTeX RDF
23	Fong Pong, Michel Dubois 0001	Formal Verification of Delayed Consistency Protocols.	IPPS	1996	DBLP DOI BibTeX RDF
23	Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh	Consistency and Orderability: Semantics-Based Correctness Criteria for Databases.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	serializability theory, semantics, concurrency control, object-oriented databases
23	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
23	Biao Qin, Shan Wang 0001, Xiaoyong Du 0001	2DCMA: An Effective Maintenance Algorithm of Materialized Views in Peer Data Management Systems.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	schema mapping, view maintenance, ECA rule, peer data management system
23	Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak	Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee.	IPDPS	2006	DBLP DOI BibTeX RDF
23	Alexander Egyed	Consistent Adaptation and Evolution of Class Diagrams during Refinement.	FASE	2004	DBLP DOI BibTeX RDF
23	Harold W. Cain, Mikko H. Lipasti, Ravi Nair	Constraint Graph Analysis of Multithreaded Programs.	IEEE PACT	2003	DBLP DOI BibTeX RDF
23	Henrik Engström, Brian Lings	Evaluating Maintenance Policies for Externally Materialised Multi-source Views.	BNCOD	2003	DBLP DOI BibTeX RDF
23	Ahmed Jebali, Mesaac Makpangou	Replica Divergence Control Protocol in Weakly Connected Environment.	NCA	2001	DBLP DOI BibTeX RDF
23	Ian P. Gent, Kostas Stergiou 0001, Toby Walsh	Decomposable Constraints.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
23	Cristiana Amza, Alan L. Cox, Karthick Rajamani, Willy Zwaenepoel	Trade-offs Between False Sharing and Aggregation in Software Distributed Shared Memory.	PPoPP	1997	DBLP DOI BibTeX RDF
23	John T. Robinson	Analysis of Steady-State Segment Storage Utilizations in a Log-Structured File System with Least-Utilized Segment Cleaning.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
23	Yehoshua Sagiv	A Characterization of Globally Consistent Databases and Their Correct Access Paths.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	extension join, representative instance, universal relation scheme, relational database, relational algebra, functional dependency, chase, null value
22	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
22	Paul Dourish	Using Metalevel Techniques in a Flexible Toolkit for CSCW Applications.	ACM Trans. Comput. Hum. Interact.	1998	DBLP DOI BibTeX RDF	consistency guarantees, metalevel programming, software architecture, data distribution, divergency, consistency control, open implementation
20	Abdelkrim Nemra, Nabil Aouf	Robust Airborne 3D Visual Simultaneous Localization and Mapping with Observability and Consistency Analysis.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	EKF SLAM, NH? SLAM, Loop closure, Map management, Consistency, Observability, Stereo vision, Unmanned aerial vehicle, Simultaneous localization and mapping
20	GuoJun Wang, QiaoLin Duan	Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
20	Honglong Chen, Wei Lou, Zhi Wang 0003	A Consistency-Based Secure Localization Scheme against Wormhole Attacks in WSNs.	WASA	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Consistency, wormhole attack, secure localization
20	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, Jae-Woo Lee, Xing Fang, Samuel P. Midkiff, David C. Wong 0001	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
20	Javier García-García 0001, Carlos Ordonez 0001	Consistency-aware evaluation of OLAP queries in replicated data warehouses.	DOLAP	2009	DBLP DOI BibTeX RDF	replica consistency, set reconciliation, distributed databases
20	Thanh Dang, Nirupama Bulusu, Wu-chi Feng, Seungweon Park	DHV: A Code Consistency Maintenance Protocol for Multi-hop Wireless Sensor Networks.	EWSN	2009	DBLP DOI BibTeX RDF	Code consistency, sensor networks, network reprogramming
20	Michel de Rougemont, Adrien Vieilleribière	Approximate schemas, source-consistency and query answering.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Approximate schemas, Source-consistency, Complexity, Distances, Query answering
20	Marcelo Arenas, Leonid Libkin	XML data exchange: Consistency and query answering.	J. ACM	2008	DBLP DOI BibTeX RDF	computing certain answers, XML, consistency, Data exchange
20	Pulak Samanta, Mihir K. Chakraborty	On Extension of Dependency and Consistency Degrees of Two Knowledges Represented by Covering.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	elementary category(partition and covering of knowledge), dependency degree, consistency degree, Rough sets
20	Yann Thierry-Mieg, Lom-Messan Hillah	UML behavioral consistency checking using instantiable Petri nets.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Behavioral consistency, Model checking, UML, Petri nets, Formal verification
20	Johann Eder, Amirreza Tahamtan	Temporal Consistency of View Based Interorganizational Workflows.	UNISCON	2008	DBLP DOI BibTeX RDF	Interorganizational Workflow, Workflow View, Consistency, Temporal Constraints, Conformance
20	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca	Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.	ARES	2008	DBLP DOI BibTeX RDF	consistency, diagnosis, firewall, conflict, acl, rule set
20	Tsung-Han Tsai 0001, Chih-Lun Fang	Structural Videotext Regions Completion with Temporal-Spatial Consistency.	SUTC	2008	DBLP DOI BibTeX RDF	Video completion, edge completion, spatial-temporal consistency, videotext removal
20	Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi 0002, Alexander Reinefeld	Key-based consistency and availability in structured overlay networks.	HPDC	2008	DBLP DOI BibTeX RDF	key-availability, lookup consistency, peer-to-peer systems, structured overlay networks
20	Marek Kopel, Aleksander Zgrzywa	The Consistency and Conformance of Web Document Collection Based on Heterogeneous DAC Graph.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Web document collection, heterogeneous graph, consistency, relationship, conformance
20	Konstantin Artiouchine, Philippe Baptiste	Arc-B-consistency of the Inter-distance Constraint.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Inter-distance constraint, Arc-B-consistency, Edge-finding
20	Joel Hass, Rida T. Farouki, Chang Yong Han, Xiaowen Song, Thomas W. Sederberg	Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	curve topology, ambient isotopy, tensor-product surfaces, surface perturbations, topological consistency, domain decomposition, trimmed surfaces, surface intersections
20	Jay Yagnik, Atiq Islam	Learning people annotation from the web via consistency learning.	Multimedia Information Retrieval	2007	DBLP DOI BibTeX RDF	consistency learning, correlation sampling, graph sampling, learning from noisy training sets, face recognition
20	Dugald Ralph Hutchings, John T. Stasko	Consistency, multiple monitors, and multiple windows.	CHI	2007	DBLP DOI BibTeX RDF	consistency, window management, multiple monitors
20	Bat-Odon Purevjii, Masayoshi Aritsugi, Sayaka Imai, Yoshinari Kanamori	An Implementation Design of a Fine-Grained Database Access Control Policy Consistency Checking Mechanism.	KES (2)	2007	DBLP DOI BibTeX RDF	fine-grained database access control, policy consistency
20	Roman Barták	Generating Implied Boolean Constraints Via Singleton Consistency.	SARA	2007	DBLP DOI BibTeX RDF	implied constraints, singleton consistency, SAT, reformulation
20	K. K. Chiang, K. L. Chan	Volumetric Model Reconstruction from Unrestricted Camera Views Based on the Photo-consistency of 3D Voxel Mask.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	3D model reconstruction, Photo-consistency, Camera calibration, Shape-from-silhouette
20	Mikael Asplund, Simin Nadjm-Tehrani	Post-partition reconciliation protocols for maintaining consistency.	SAC	2006	DBLP DOI BibTeX RDF	reconciliation protocol, partition, consistency, availability, trade-off
20	Susan Elias, K. S. Easwarakumar, Richard Chbeir	Dynamic consistency checking for temporal and spatial relations in multimedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	authoring, multimedia presentation, consistency checking, spatial relations, temporal relations
20	David J. Malan, Michael D. Smith 0001	Exploiting temporal consistency to reduce false positives in host-based, collaborative detection of worms.	WORM	2006	DBLP DOI BibTeX RDF	collaborative detection, native API, win32, IDS, worms, windows, system calls, temporal consistency, peers, system services, host-based intrusion detection, HIDS
20	Kai Richter	Transformational Consistency.	CADUI	2006	DBLP DOI BibTeX RDF	Metrics, Consistency, User interface design, Multiple user interfaces
20	Chang Xu 0001, Shing-Chi Cheung, W. K. Chan 0001	Incremental consistency checking for pervasive context.	ICSE	2006	DBLP DOI BibTeX RDF	incremental consistency checking, pervasive computing, context management
20	Lisa Higham, LillAnne Jackson	Translating between itanium and sparc memory consistency models.	SPAA	2006	DBLP DOI BibTeX RDF	multiprocessors, program transformations, memory consistency models, sparc, itanium
20	Yuting Chen, Shaoying Liu, Fumiko Nagoya	A Tool-Supported Review Approach to Detecting Structural Consistency Violations.	ICECCS	2006	DBLP DOI BibTeX RDF	Design and implementation, program review, structural consistency, SOFL specification
20	Xiaoshan Li	A Characterization of UML Diagrams and their Consistency.	ICECCS	2006	DBLP DOI BibTeX RDF	UML2.0, Semantics, Consistency Checking, Sequence Diagram
20	Gerhard Gröger, Lutz Plümer	How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS.	GeoInformatica	2005	DBLP DOI BibTeX RDF	2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D