|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8893 occurrences of 3857 keywords
|
|
|
Results
Found 17174 publication records. Showing 17174 according to the selection in the facets
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 |
Displaying result #401 - #500 of 17174 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|