|
|
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 |
77 | Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak |
From Session Causality to Causal Consistency. |
PDP |
2004 |
DBLP DOI BibTeX RDF |
remote objects, shared objects, consistency models, session guarantees |
73 | Haifeng Yu, Amin Vahdat |
Design and evaluation of a conit-based continuous consistency model for replicated services. |
ACM Trans. Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Conit, continuous consistency, replication, network services, consistency model, relaxed consistency |
71 | Robert C. Steinke, Gary J. Nutt |
A unified theory of shared memory consistency. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
memory consistency model lattice, memory consistency models, Distributed shared memory systems |
69 | Michel Raynal, Matthieu Roy |
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability |
65 | Guang R. Gao, Vivek Sarkar |
Location Consistency-A New Memory Model and Cache Consistency Protocol. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
location consistency, cache consistency protocols, Memory consistency |
62 | Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou |
Box Consistency through Weak Box Consistency. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
box consistency, constraint satisfaction, constraint propagation, numerical constraint |
60 | Yu Huang 0002, Jiannong Cao 0001, Zhijun Wang 0001, Beihong Jin, Yulin Feng |
Achieving Flexible Cache Consistency for Pervasive Internet Access. |
PerCom |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz |
Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
consistency in document engineering, temporal logic, document management |
58 | Jian Yin 0002, Lorenzo Alvisi, Michael Dahlin, Arun Iyengar |
Engineering web cache consistency. |
ACM Trans. Internet Techn. |
2002 |
DBLP DOI BibTeX RDF |
scalability, Cache coherence, cache consistency, dynamic content, volume, lease |
58 | Vadim Iosevich, Assaf Schuster |
A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model |
57 | Zehra Sura, Chi-Leung Wong, Xing Fang, Jaejin Lee, Samuel P. Midkiff, David A. Padua |
Automatic Implementation of Programming Language Consistency Models. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal |
Consistency Issues in Distributed Checkpoints. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
transitlessness, fault-tolerance, distributed systems, consistency, Checkpointing, rollback recovery, strong consistency |
54 | Jeffrey Fischer, Rupak Majumdar |
Ensuring consistency in long running transactions. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
flow composition, set consistency, semantics, business process, transactions, compensation |
54 | Jerzy Brzezinski, Dariusz Wawrzyniak |
Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm. |
ICDCS |
2000 |
DBLP DOI BibTeX RDF |
distributed shared memory, mutual exclusion, consistency models |
54 | Haifeng Yu, Amin Vahdat |
Building Replicated Internet Services Using TACT: A Toolkit for Tunable Availability and Consistency Tradeoffs. |
WECWIS |
2000 |
DBLP DOI BibTeX RDF |
QoS, Adaptivity, Replication, Consistency, Availability |
54 | Peter van Beek, Rina Dechter |
Constraint tightness and looseness versus local and global consistency. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning |
54 | Assef Chmeiss, Lakhdar Sais |
About the use of local consistency in solving CSPs. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency |
53 | Liviu Iftode, Jaswinder Pal Singh, Kai Li 0001 |
Scope Consistency: A Bridge between Release Consistency and Entry Consistency. |
Theory Comput. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Albert Atserias, Mark Weyer |
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve, Tracy Harton |
An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors. |
ASPLOS |
1996 |
DBLP DOI BibTeX RDF |
|
52 | Franz Huber |
The Consistency Argument for Ranking Functions. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Conditionalization, Conditional Consistency, Consistency Argument, Consistency Theorem, Deductive Closure, Dutch Book Argument, Ranking Functions, Probability Measures, Spohn, Consistency, Revision, Update Rule |
52 | Nishith Krishna, Marc Shapiro 0001, Karthikeyan Bhargavan |
Brief announcement: exploring the consistency problem space. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
pessimistic replication, semantic consistency, consistency, replicated data, optimistic replication, weak consistency, strong consistency, partial replication |
51 | Gianluigi Greco, Francesco Scarcello |
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
structural decomposition methods, tree projections, local consistency |
51 | Zusong Li, Dandan Huan, Weiwu Hu, Zhimin Tang |
Chip Multithreaded Consistency Model. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
Godson-2, computer architecture, multithreading, memory consistency model, event ordering |
51 | Simon Cuce, Arkady B. Zaslavsky |
Supporting Multiple Consistency Models within a Mobility Enabled File System Using a Component Based Framework. |
Mob. Networks Appl. |
2003 |
DBLP DOI BibTeX RDF |
middleware, components, distributed file system, consistency control |
51 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen |
A methodology for specifying and analyzing consistency of object-oriented behavioral models. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, UML, UML, CSP, object-oriented modeling |
49 | Alina Oprea, Michael K. Reiter |
On Consistency of Encrypted Files. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Jalal Kawash, Lisa Higham |
Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
SPARC |
48 | Edya Ladan-Mozes, Charles E. Leiserson |
A consistency architecture for hierarchical shared caches. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree |
48 | Anne-Marie Bosneag, Monica Brockmeyer |
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table |
47 | Adam J. Lee, Marianne Winslett |
Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
distributed proving, consistency, credentials, trust negotiation |
47 | Chahé Adourian, Hans Vangheluwe |
Consistency between geometric and dynamic views of a mechanical system. |
SCSC |
2007 |
DBLP BibTeX RDF |
concurrent model evolution, multi-view model consistency, simulation, CAD, triple graph grammars, round-trip engineering |
47 | Yijun Lu, Ying Lu, Hong Jiang 0001 |
IDEA: : an infrastructure for detection-based adaptive consistency control in replicated services. |
HPDC |
2007 |
DBLP DOI BibTeX RDF |
inconsistency detection, adaptability, consistency control, replicated services |
47 | Romuald Debruyne |
A Strong Local Consistency for Constraint Satisfaction. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
constraint satisfaction, local consistency |
45 | Sai Susarla, John B. Carter |
Flexible Consistency for Wide Area Peer Replication. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Sergio Alonso, Francisco Chiclana, Francisco Herrera, Enrique Herrera-Viedma |
A Learning Procedure to Estimate Missing Values in Fuzzy Preference Relations Based on Additive Consistency. |
MDAI |
2004 |
DBLP DOI BibTeX RDF |
additive consistency, consistency, Decision-making, incomplete information, missing values, fuzzy preference relations |
45 | Venkata Duvvuri, Prashant J. Shenoy, Renu Tewari |
Adaptive Leases: A Strong Consistency Mechanism for the World Wide Web. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
Web proxy servers, Web caching, cache consistency, leases, strong consistency |
45 | Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken |
Shared State Consistency for Time-Sensitive Distributed Applications. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
Caching, Ordering, Timeliness, Consistency model, Consistency protocol |
43 | Joong-Ho Lee, Ki-Won Yeom, Ji-Hyung Park |
A Development of Graphical Interface for Decision Making Process Including Real-Time Consistency Evaluation. |
HCI (10) |
2007 |
DBLP DOI BibTeX RDF |
Priority Setting, Consistency Ratio, Visualization, Decision Making, AHP, Interactive process |
43 | Shoupeng Li, Shizhong Wu, Tao Guo |
The Consistency of an Access Control List. |
ICICS |
2002 |
DBLP DOI BibTeX RDF |
access control, consistency, information security |
43 | Gregor Engels, Reiko Heckel, Jochen Malte Küster |
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. |
UML |
2001 |
DBLP DOI BibTeX RDF |
behavioral consistency, meta modeling, model verification |
43 | Yong-Kim Chong, Kai Hwang 0001 |
Performance Analysis of Four Memory Consistency Models for Multithreaded Multiprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
latency hiding techniques, performance evaluation, Distributed shared memory, stochastic Petri nets, multithreaded processors, memory consistency models, context switching, scalable multiprocessors |
42 | Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
Symmetry and Consistency. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Monique Snoeck, Cindy Michiels, Guido Dedene |
Consistency by Construction: The Case of MERODE. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Simon Cuce, Arkady B. Zaslavsky |
Adaptable Consistency Control Mechanism for a Mobility Enabled File System. |
Mobile Data Management |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Liyin Xue, Mehmet A. Orgun, Kang Zhang 0001 |
A User-Centred Consistency Model in Real-Time Collaborative Editing Systems. |
DCW |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Michel Raynal |
Sequential Consistency as Lazy Linearizability. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Thomas Schiex |
Arc Consistency for Soft Constraints. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Lisa Higham, LillAnne Jackson, Jalal Kawash |
Specifying memory consistency of write buffer multiprocessors. |
ACM Trans. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Memory consistency framework, partial store order, relaxed memory order, sparc multiprocessors, total store order, write-buffer architectures, coherence, sequential consistency, alpha |
41 | Xueyan Tang, Huicheng Chi, Samuel T. Chanson |
Optimal Replica Placement under TTL-Based Consistency. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
TTL-based consistency, Replication, data consistency, replica placement |
41 | Luis Ceze, James Tuck 0001, Pablo Montesinos, Josep Torrellas |
BulkSC: bulk enforcement of sequential consistency. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
bulk, chip multiprocessors, programmability, sequential consistency, memory consistency models |
41 | Di-Rong Chen, Dao-Hong Xiang |
The consistency of multicategory support vector machines. |
Adv. Comput. Math. |
2006 |
DBLP DOI BibTeX RDF |
universal consistency, classification, support vector machine, consistency, reproducing kernel Hilbert space, Bayes rule, misclassification error |
41 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex |
A new local consistency for weighted CSP dedicated to long domains. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
bound arc consistency, weighted constraint satisfaction problem, local consistency |
41 | Jaejin Lee, David A. Padua |
Hiding Relaxed Memory Consistency with a Compiler. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
relaxed memory consistency, fence, compiler, synchronization, NP-hard, dominator, Sequential consistency |
41 | Peter J. Stuckey, Vincent W. L. Tam |
Extending EGENET with Lazy Constraint Consistency. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour |
41 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
41 | Lisa Higham, Jalal Kawash |
Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
Instruction re-ordering, High-performance multiprocessors, Mutual exclusion, Sequential consistency, Critical Sections, Memory consistency models |
39 | Peijun Du, Guangli Li, Wei Zhang 0156, Xiaomei Wang, Hao Sun |
Consistency Measure of Multiple Classifiers for Land Cover Classification by Remote Sensing Image. |
MCS |
2009 |
DBLP DOI BibTeX RDF |
weighted count of errors and correct results (WCEC), remote sensing, multiple classifier combination, land cover classification, consistency measure |
39 | Christian Eichinger, Michael Schrefl |
Navigation consistency in web site families. |
iiWAS |
2009 |
DBLP DOI BibTeX RDF |
navigation consistency, conceptual design, hypertext/hypermedia |
39 | Yan Chen, Lixian Huang, Lulu Li, Qi Luo, Ying Wang, Jing Xu |
The Experimental Approaches of Assessing the Consistency of User Interface. |
HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
user experience, consistency, usability testing |
39 | Nuno Santos 0001, Luís Veiga, Paulo Ferreira 0001 |
Vector-Field Consistency for Ad-Hoc Gaming. |
Middleware |
2007 |
DBLP DOI BibTeX RDF |
Multiplayer Games, Consistency Management, Locality- Awareness, Replicated Objects |
39 | Adam J. Lee, Marianne Winslett |
Safety and consistency in policy-based authorization systems. |
CCS |
2006 |
DBLP DOI BibTeX RDF |
distributed proving, consistency, credentials, trust negotiation |
39 | Michel Raynal, K. Vidyasankar |
A Distributed Implementation of Sequential Consistency with Multi-Object Operations. |
ICDCS |
2004 |
DBLP DOI BibTeX RDF |
Shared Objects Memory Abstraction, Message Passing, Asynchronous Distributed System, Sequential Consistency, Object Manager, Multi-Object Operation |
39 | Sudsanguan Ngamsuriyaroj, Ali R. Hurson, Thomas F. Keefe |
Maintaining Consistency of the Security Policy using Timestamp Ordering. |
ITCC |
2002 |
DBLP DOI BibTeX RDF |
Performance, Concurrency control, Security policy, Consistency control, Timestamp ordering |
39 | Zhiyi Huang 0001, Stephen Cranefield, Martin K. Purvis, Chengzheng Sun |
View-Based Consistency and Its Implementation. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
Distributed Shared Memory, Sequential Consistency, False Sharing |
39 | Martin Mauve |
Consistency in replicated continuous interactive media. |
CSCW |
2000 |
DBLP DOI BibTeX RDF |
replicated continuous interactive media, consistency |
39 | Andrea Zisman, Wolfgang Emmerich, Anthony Finkelstein |
Using XML to Build Consistency Rules for Distributed Specifications. |
IWSSD |
2000 |
DBLP BibTeX RDF |
consistency rules, XML, Inconsistency, XPointer |
39 | Haifeng Yu, Amin Vahdat |
The costs and limits of availability for replicated services. |
ACM Trans. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
continuous consistency, replication, Availability, upper bound, network services, trade-off |
39 | Jörg Zettel |
Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance |
38 | Wenzhong Li, Edward Chan, Daoxu Chen, Sanglu Lu |
Maintaining Probabilistic Consistency for Frequently Offline Devices in Mobile Ad Hoc Networks. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Haiying Shen |
GeWave: Geographically-Aware Wave for File Consistency Maintenance in P2P Systems. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik |
Consistency Checking of Conceptual Models via Model Merging. |
RE |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Xiantao Cai, Fazhi He, Shaofen Wang, Huajun Liu |
A Hierarchical Consistency Model for Graphics Media in Flexible Collaboration-Transparent Systems. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Quan Pham, Adrian McCullagh, Ed Dawson |
Consistency of User Attribute in Federated Systems. |
TrustBus |
2007 |
DBLP DOI BibTeX RDF |
Attribute Synchronisation, Access Control, Role Based Access Control, Delegation, Identity Management, Federation, Federated System |
38 | Yingjie Hu, Shaoning Pang, Ilkka Havukkala |
A Novel Microarray Gene Selection Method Based on Consistency. |
HIS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Vicent Cholvi, Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal |
A Methodological Construction of an Efficient Sequential Consistency Protocol. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Jochen Malte Küster, Gregor Engels |
Consistency Management Within Model-Based Object-Oriented Development of Components. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen |
Consistency-Preserving Model Evolution through Transformations. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Haifeng Yu, Amin Vahdat |
Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Bhuvan Urgaonkar, Anoop George Ninan, Mohammad S. Raunak, Prashant J. Shenoy, Krithi Ramamritham |
Maintaining Mutual Consistency for Cached Web Objects. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Claude-Guy Quimper, Alexander Golynski, Alejandro López-Ortiz, Peter van Beek |
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
domain consistency, global constraints, bounds consistency |
37 | Philip L. Worthington, Edwin R. Hancock |
New Constraints on Data-Closeness and Needle Map Consistency for Shape-from-Shading. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1999 |
DBLP DOI BibTeX RDF |
hard constraints, curvature consistency, gradient consistency, Shape-from-shading, robust statistics |
37 | Lisa Higham, Jalal Kawash |
Tight Bounds for Critical Sections in Processor Consistent Platforms. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models |
37 | Marc R. C. van Dongen |
Saving Support-Checks Does Not Always Save Time. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
maintain arc-consistency, Abbrevations:, CSP - constraint satisfaction problem, MAC - maintain arc consistency, RLFAP - radio link frequency assignment problem, search, heuristics, constraint satisfaction, time-complexity, space-complexity |
37 | Mihai Surdeanu, Dan I. Moldovan |
Design and Performance Analysis of a Distributed Java Virtual Machine. |
IEEE Trans. Parallel Distributed Syst. |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented distributed shared memory, memory consistency protocols, performance analysis, Java Virtual Machine, consistency models |
36 | Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin |
Specifying and dynamically verifying address translation-aware memory consistency. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
virtual memory, memory consistency, address translation, dynamic verification |
36 | Andreas Holzinger, Christian Stickel, Markus Fassold, Martin Ebner |
Seeing the System through the End Users' Eyes: Shadow Expert Technique for Evaluating the Consistency of a Learning Management System. |
USAB |
2009 |
DBLP DOI BibTeX RDF |
Shadow Expert Technique, Performance, Measurement, Consistency, Usability Test, Methods |
36 | Yu Huang 0002, Beihong Jin, Jiannong Cao 0001, Guangzhong Sun, Yulin Feng |
A Selective Push Algorithm for Cooperative Cache Consistency Maintenance over MANETs. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
Cache Status Maintenance, Selective Push, Mobile Ad hoc Networks, Stateful, Cooperative Caching, Cache Consistency |
36 | Kim Lauenroth, Klaus Pohl |
Towards automated consistency checks of product line requirements specifications. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
requirements engineering, consistency, product line |
36 | M. Hossein Sheikh Attar, M. Tamer Özsu |
Alternative Architectures and Protocols for Providing Strong Consistency in Dynamic Web Applications. |
World Wide Web |
2006 |
DBLP DOI BibTeX RDF |
caching dynamic web, mid-tier database caching, web caching, strong consistency, database caching |
36 | Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo |
Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
probabilistic temporal consistency, quality of service, Real-time database, transactions scheduling |
36 | Robert D. S. Fletcher, T. C. Nicholas Graham, Christopher Wolfe |
Plug-replaceable consistency maintenance for multiplayer games. |
NETGAMES |
2006 |
DBLP DOI BibTeX RDF |
workspace model, consistency maintenance, multiplayer game |
36 | Yi Yang 0014, Du Li |
Supporting Adaptable Consistency Control in Structured Collaborative Workspaces. |
Comput. Support. Cooperative Work. |
2005 |
DBLP DOI BibTeX RDF |
component-based groupware, groupware framework, runtime plug-n-play, adaptability, system design, flexibility, consistency control, collaborative workspace |
36 | Martin C. Cooper |
High-Order Consistency in Valued Constraint Satisfaction. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints |
36 | Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih |
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
Subgradient Algorithm, Lagrangean Relaxation, Arc-Consistency |
36 | Keqiang Wu, Peng-fei Chuang, David J. Lilja |
An active data-aware cache consistency protocol for highly-scalable data-shipping DBMS architectures. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
active control, DBMS, cache consistency, data-shipping, parallel communication |
36 | André Seifert, Marc H. Scholl |
Processing Read-Only Transactions in Hybrid Data Delivery Environments with Consistency and Currency Guarantees. |
Mob. Networks Appl. |
2003 |
DBLP DOI BibTeX RDF |
data currency, broadcasting, data consistency, unicasting, read-only transactions |
36 | Klaus Meer |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width |
36 | Xuan Liu, Shashi Shekhar, Sanjay Chawla |
Consistency checking for Euclidean spatial constraints: a dimension graph approach. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects |
Displaying result #1 - #100 of 17174 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|