|
|
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 |
17 | Yutaka Ishibashi, Yousuke Hashimoto, Tomohito Ikedo, Shinji Sugawara |
Adaptive Δ-causality control with adaptive dead-reckoning in networked games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 6th Workshop on Network and System Support for Games, NETGAMES 2007, Melbourne, Australia, September 19-20, 2007, pp. 75-80, 2007, ACM, 978-0-9804460-0-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
causality control, networked racing game, simulation, consistency, subjective assessment |
17 | Christian Cachin, Abhi Shelat, Alexander Shraer |
Efficient fork-linearizable access to untrusted shared memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 129-138, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
arbitrary failures, fork-consistency, storage emulations |
17 | Du Li, Rui Li 0018 |
An analysis of intention preservation in group editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 348-349, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
operation intention, collaboration, groupware, data consistency, operational transformation, group editing |
17 | Chi-Shih Chao |
A Visualized Internet Firewall Rule Validation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Managing Next Generation Networks and Services, 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings, pp. 364-374, 2007, Springer, 978-3-540-75475-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Firewall security consistency, Rule anomalies, Policy-based network security management, System visualization |
17 | Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec |
Safety of a Session Guarantees Protocol Using Plausible Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1-10, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
plausible clocks, consistency models, session guarantees |
17 | Jing Zhao, Hongliang Yu, Kun Zhang, Weimin Zheng, Jie Wu 0001, Jinfeng Hu |
Achieving Reliability through Replication in a Wide-Area Network DHT Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 2007 International Conference on Parallel Processing (ICPP 2007), September 10-14, 2007, Xi-An, China, pp. 29, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reliability, replication, consistency, Availability, DHT, peer-to-peer systems, distributed storage |
17 | Nico Janssens, Eddy Truyen, Frans Sanen, Wouter Joosen |
Adding dynamic reconfiguration support to JBoss AOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAI ![In: Proceedings of the 1st Workshop on Middleware-Application Interaction, MAI 2007, in conjunction with Euro-Sys 2007, Lisbon, Portugal, March 20, 2007, pp. 1-8, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented middleware, dynamic distributed aspect weaving, dynamic reconfiguration of distributed systems, global state consistency, structural integrity |
17 | Pavel Surynek |
Solving Difficult SAT Instances Using Greedy Clique Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 359-374, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
difficult instances, search, consistency, SAT, clique |
17 | Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit |
Scalable Design and Implementations for MPI Parallel Overlapping I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(11), pp. 1264-1276, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O |
17 | Alexander Egyed, David S. Wile |
Support for Managing Design-Time Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(5), pp. 299-314, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design choices, choice elimination, UML, consistency checking, design alternatives |
17 | Dingliang Liang, Paul Boustead |
Using local lag and timewarp to improve performance for real life multi-player online games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 5th Workshop on Network and System Support for Games, NETGAMES 2006, Singapore, October 30-31, 2006, pp. 37, 2006, ACM, 1-59593-589-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
local lag, quake 3, timewarp, consistency, networked games, paradox |
17 | Claudia-Lavinia Ignat, Moira C. Norrie |
Draw-together: graphical editor for collaborative drawing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, CSCW 2006, Banff, Alberta, Canada, November 4-8, 2006, pp. 269-278, 2006, ACM, 1-59593-249-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graphical collaborative editing, serialisation of operations, consistency maintenance, topological sort |
17 | Marc Aiguier, Karim Berkani, Pascale Le Gall |
Feature Specification and Static Analysis for Interaction Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 364-379, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration |
17 | Sanjiang Li |
Combining Topological and Directional Information: First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 252-264, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
consistency, Qualitative Spatial Reasoning, realization, topological relations, directional relations |
17 | Artemis A. Christopoulou, Eleftherios D. Polychronopoulos |
Reducing Communication Overhead and Page Faults in SDSM Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 405-414, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software DSM Systems, Clusters, Grids, Cache Coherence Protocols, Memory Consistency Models |
17 | Kevin M. Greenan, Ethan L. Miller |
Reliability mechanisms for file systems using non-volatile memory as a metadata store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 178-187, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory |
17 | Dongwon Jeong, Youn-Hee Han |
Resolving the Semantic Inconsistency Problem for Ubiquitous RFID Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 1134-1143, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Metadata register, Ubiquitous computing, Semantic, Interoperability, RFID, Consistency |
17 | Luuk Groenewegen, Erik P. de Vink |
Evolution On-the-Fly with Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 97-112, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evolution on-the-fly, dynamic consistency, software architecture, migration, self-adaptation, Paradigm |
17 | Wei Pan, Dongming Wang 0001 |
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 269-276, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Buchberger graph, consistency condition, parametric exponent, uniform Gröbner basis, biological modeling, polynomial ideal |
17 | Simon M. Becker, Thomas Haase, Bernhard Westfechtel |
Model-based a-posteriori integration of engineering tools for incremental development processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(2), pp. 123-140, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
A-posteriori integration, Incremental consistency management, UML, Software architecture, Graph transformation, Wrapping |
17 | Prasanna Padmanabhan, Robyn R. Lutz |
Tool-Supported Verification of Product Line Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(4), pp. 447-465, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
requirements verification, feature-interaction resolution, variability, product line, consistency checking, product family, dependency constraints |
17 | Prateek Sarkar, George Nagy |
Style Consistent Classification of Isogenous Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(1), pp. 88-98, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
isogenous patterns, style consistency, style constrained classification, style-bound variant, style-shared variant, font recognition, field classification, Optical Character Recognition, mixture model, Style |
17 | Stefan Frenz, Michael Schöttner, Ralph Göckelmann, Peter Schulthess |
Transactional Cluster Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings, pp. 465-476, 2005, Springer, 3-540-29031-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
operating system, distribution, consistency, transactions, shared memory |
17 | Wentong Cai 0001, Stephen John Turner, Suiping Zhou, Junhu Wei, Wenbo Zong |
Performance Evaluation of a Bandwidth Requirements Reduction Technique Based on Timely State Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 4-6 April 2005, San Diego, CA, USA, pp. 225-232, 2005, IEEE Computer Society, 0-7695-2322-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
state update mechanism, bandwidth requirements reduction, performance evaluation, consistency, Distributed simulation |
17 | Ciaran Ferry, Stephen Blott |
The consistent web: a vision for the future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005, pp. 240-241, 2005, ACM, 1-59593-197-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
web/internet, content distribution, consistency management |
17 | Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua |
Compiler techniques for high performance sequentially consistent java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 2-13, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
java, synchronization, multithread, memory consistency |
17 | Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein |
Performance Comparison between VOPP and MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 343-347, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
View-based Consistency, View-Oriented Parallel Programming, Message Passing Interface, Cluster Computing, Distributed Shared Memory |
17 | George Spanoudakis, Hyoseob Kim |
Supporting the reconciliation of models of object behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(4), pp. 273-293, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Software design models, Object interaction diagrams, Consistency management |
17 | Jauvane C. de Oliveira, Seok-Jong Yu, Nicolas D. Georganas |
Synchronized World Embedding in Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 24(4), pp. 73-83, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded worlds, LSVE, VELVET, ownership management, virtual reality, collaborative virtual environments, CVE, consistency control, large-scale virtual environments |
17 | Joan Bagaria, Roger Bosch |
Proper forcing extensions and Solovay models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(6), pp. 739-750, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Solovay models, Generic absoluteness, Strongly-proper forcing, Projective forcing, Consistency strength, Definably-Mahlo cardinals, Mahlo cardinals, Weakly-compact cardinals |
17 | Gregory G. Slabaugh, W. Bruce Culbertson, Thomas Malzbender, Mark R. Stevens, Ronald W. Schafer |
Methods for Volumetric Reconstruction of Visual Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 57(3), pp. 179-199, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
voxel coloring, photo-consistency, histogram intersection, volumetric warping, scene reconstruction, space carving |
17 | Nuno Amálio, Susan Stepney, Fiona Polack |
Formal Proof from UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 418-433, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, consistency checking, formal proof, model analysis |
17 | Thierry Despeyroux |
Practical semantic analysis of web sites and documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 685-693, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
XML, knowledge management, information system, logic programming, consistency, quality, web engineering, formal semantics, content management, web sites, web site evolution |
17 | Du Li, Rui Li 0018 |
Preserving operation effects relation in group editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2004 ACM Conference on Computer Supported Cooperative Work, CSCW 2004, Chicago, Illinois, USA, November 6-10, 2004, pp. 457-466, 2004, ACM, 1-58113-810-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CSCW, concurrency control, consistency, collaborative systems, operational transformation, group editors |
17 | Malek Mouhoub |
Solving Dynamic CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings, pp. 504-509, 2004, Springer, 3-540-22004-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Dynamic Arc Consistency, Constraint Satisfaction |
17 | Maureen Fan, Kathleen Ko |
Managing icon abundance on eBay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1555, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
abundance, consistency, icon, eBay |
17 | Huaigu Wu, Bettina Kemme, Vance Maverick |
Eager Replication for Stateful J2EE Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (2) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II, pp. 1376-1394, 2004, Springer, 3-540-23662-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
stateful J2EE servers, eager replication, state consistency, exactly-once-execution, transactions |
17 | Laurent Granvilliers, Mina Ouabiba |
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 118-131, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm |
17 | Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon |
A Unified Fault-Tolerance Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 167-182, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, protocol, Diagnosis, Byzantine, Interactive Consistency, SPIDER |
17 | Harri Lähdesmäki, Ilya Shmulevich, Olli Yli-Harja |
On Learning Gene Regulatory Networks Under the Boolean Network Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 52(1-2), pp. 147-167, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Consistency Problem, Best-Fit Extension paradigm, gene regulatory networks, network inference |
17 | Vladimir Bychkovskiy, Seapahn Megerian, Deborah Estrin, Miodrag Potkonjak |
A Collaborative Approach to In-Place Sensor Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Information Processing in Sensor Networks, Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings, pp. 301-316, 2003, Springer, 3-540-02111-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Sensor calibration, distributed calibration, consistency maximization, calibration routing, sensor networks, distributed algorithms, in-network processing |
17 | Bernhard Schätz, Christian Salzmann |
Service-Based Systems Engineering: Consistent Combination of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 86-104, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality |
17 | Walter Cazzola, Ahmed Ghoneim, Gunter Saake |
Software Evolution through Dynamic Adaptation of Its OO Desgin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Objects, Agents, and Features ![In: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers, pp. 67-80, 2003, Springer, 3-540-21989-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Consistency Validation, UML, Reflection, Software Evolution, Dynamic Reconfiguration, XMI |
17 | Hans-Hellmut Nagel |
Reflections on Cognitive Vision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings, pp. 34-43, 2003, Springer, 3-540-00921-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
System aspects, consistency requirements, conceptual system levels, integration of geometric and conceptual aspects, integration of inference engines into vision |
17 | Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen |
The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 495-501, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
theoretical performance model, memory consistency models, Software Distributed Shared Memory |
17 | Michael Schöttner, Moritz Wende, Ralph Göckelmann, T. Bindhammer, U. Schmid, Peter Schulthess |
A Gaming Framework for a Transactional DSM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 502-509, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Consistency, Distributed Shared Memory, Multi-player Games |
17 | Chengzheng Sun |
Optional and Responsive Fine-Grain Locking in Internet-Based Collaborative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(9), pp. 994-1008, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
optional locking, distributed systems, responsiveness, Internet computing, operational transformation, Consistency maintenance, collaborative editors |
17 | Carlos Pérez Leguízamo, Aqeel A. Syed, Kinji Mori |
Assurance System Architecture for Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 43-50, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
loose consistency, mobile agent, distributed database, autonomy, assurance |
17 | Hong Su, Bintou Kane, Victor Chen, Cuong Diep, De Ming Guan, Jennifer Look, Elke A. Rundensteiner |
A Lightweight XML Constraint Check and Update Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers, pp. 39-50, 2002, Springer, 3-540-20255-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Structural Consistency, XQuery, XML Schema, XML Update |
17 | Paolo Terenziani |
Temporal Reasoning with Classes and Instances of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 100-107, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance |
17 | Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin |
Indexical-Based Solver Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 541-555, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rule-based constraint solver, learning, consistency, CSP |
17 | Hui Wu 0001, Joxan Jaffar |
Two processor scheduling with real release times and deadlines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 127-132, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
release time and deadline, successor-tree-consistency, task scheduling, feasible schedule |
17 | Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian |
Probabilistic object bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 26(3), pp. 264-312, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
probabilistic object algebra, probabilistic object base, probability, Consistency, query optimization, query language, object-oriented database |
17 | Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith |
Constraint Satisfaction Methods for Applications in Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 16(2), pp. 81-95, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency |
17 | Lucas Bordeaux, Frédéric Benhamou |
Automated reasoning on monotonic constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 401-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling |
17 | Ben Kao, Kam-yiu Lam, Brad Adelberg, Reynold Cheng, Tony S. H. Lee |
Updates and View Maintenance in Soft Real-Time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 300-307, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
updates, view maintenance, real-time database, temporal consistency, transaction scheduling |
17 | Thomas Wolf 0013, Alfred Strohmeier |
Fault Tolerance by Transparent Replication for Distributed Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 412-424, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism |
17 | Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime |
An Adaptive Protocol for Implementing Causally Consistent Distributed Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 86-93, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Distributed System, Causality, Client-Server, Distributed Services, Adaptive Services, Causal Consistency |
17 | Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr. |
Isotach Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 337-348, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time |
17 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 |
Semiring-based constraint satisfaction and optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(2), pp. 201-236, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency |
17 | Robert J. Hilderman, Howard J. Hamilton |
A Note on Regeneration with Virtual Copies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(1), pp. 56-59, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dynamic voting, mutual consistency, virtual copies, reliability, Availability, recovery, distributed computing systems, network partitioning, replicated data, regeneration |
17 | Ekkart Kindler, Rolf Walter |
Arc-Typed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 289-306, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Arc-typed net, verification, specification, process, causality, partial order semantics, consistency protocol |
17 | Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim |
Efficiently supporting hard/soft deadline transactions in real-time database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 74-80, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hard/soft deadline transactions, temporally valid data objects, soft-deadlines, real-time systems, timing constraints, temporal consistency, real-time database systems, database operations, implementation complexity |
17 | Ching-Shan Peng, Kwei-Jay Lin |
A semantic-based concurrency control protocol for real-time transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 59-67, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions |
17 | Cosimo Antonio Prete, Luigi M. Ricciardi, Gianpaolo Prina |
Reducing coherence-related overhead in multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 444-451, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
coherence-related overhead, snooping protocol, shared copies, performance evaluation, caching, consistency, multiprocessing systems, multiprocessor systems, shared memory systems, concurrent processes |
17 | Joaquin Vila, Barbara Beccue |
Effect of visualization on the decision maker when using analytic hierarchy process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 992-1001, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
consistency sensitivity, speech pathology, speaker intelligibility, control group, full motion video, visualization, decision support systems, statistical analysis, statistical analysis, audio, multimedia systems, analytic hierarchy process, multimedia application, stress, hierarchical representation, interactive video, rate, articulation, visual cues, decision maker, intonation, speech intelligibility |
17 | Malek Adjouadi, Frank M. Candocia |
A Stereo Matching Paradigm Based on the Walsh Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(12), pp. 1212-1218, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection |
17 | Yehuda Afek, Geoffrey M. Brown, Michael Merritt |
Lazy Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(1), pp. 182-205, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
shared memory, cache coherence, sequential consistency |
17 | Ralf Hartmut Güting, Markus Schneider 0001 |
Realms: A Foundation for Spatial Data Types in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings, pp. 14-35, 1993, Springer, 3-540-56869-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra |
17 | Sonia Bergamaschi, Claudio Sartori 0001 |
On Taxonomic Reasoning in Conceptual Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(3), pp. 385-422, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
schema consistency, schema minimality, taxonomic reasoning, semantic models |
17 | Serge Lacourte |
Exceptions in Guide, an Object-Oriented Language for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 268-287, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
concurrency, consistency, object-oriented languages, exceptions |
17 | Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II |
System Level Concurrency Control for Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 3(2), pp. 178-198, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
deadly embrace, readers and writers, database, concurrency, integrity, distributed, consistency, transaction, deadlock, lock, rollback, restart |
15 | Wendi Cui, Jiaxin Zhang, Zhuohang Li, Damien Lopez, Kamalika Das, Bradley A. Malin, Kumar Sricharan |
DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.02132, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | |
Consistency Matters: Explore LLMs Consistency From a Black-Box Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17411, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoming Yu, Gan Zhou |
Arbitrary style transfer via content consistency and style consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 40(3), pp. 1369-1382, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Yunpeng Wang, Meng Pang, Shengbo Chen, Hong Rao |
Consistency-GAN: Training GANs with Consistency Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 15743-15751, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, Joseph M. Hellerstein |
Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 15-22, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Chieh-Hsin Lai, Yuhta Takida, Toshimitsu Uesaka, Naoki Murata, Yuki Mitsufuji, Stefano Ermon |
On the Equivalence of Consistency-Type Models: Consistency Models, Consistent Diffusion Models, and Fokker-Planck Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.00367, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yali Du 0002, Yi-Fan Ma, Zheng Xie 0001, Ming Li 0005 |
Beyond Lexical Consistency: Preserving Semantic Consistency for Program Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: IEEE International Conference on Data Mining, ICDM 2023, Shanghai, China, December 1-4, 2023, pp. 91-100, 2023, IEEE, 979-8-3503-0788-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuxiang Lan, Yachao Zhang, Yanyun Qu, Cong Wang, Chengyang Li, Jia Cai, Yuan Xie 0006, Zongze Wu 0001 |
Weakly Supervised 3D Segmentation via Receptive-Driven Pseudo Label Consistency and Structural Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 1222-1230, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dan Alistarh, Ilia Markov, Giorgi Nadiradze |
Elastic Consistency: A Consistency Criterion for Distributed Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 53(2), pp. 64-82, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Dan Alistarh |
Distributed Computing Column 85 Elastic Consistency: A Consistency Criterion for Distributed Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 53(2), pp. 63, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Barnaby Martin, Justin Pearson |
When bounds consistency implies domain consistency for regular counting constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 27(3), pp. 161-167, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Rebecca Bilbro, Benjamin Bengfort, Pete Keleher |
Bilateral anti-entropy for eventual consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 53-59, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Strong and Efficient Consistency with Consistency-aware Durability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 17(1), pp. 4:1-4:27, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pat Helland |
Don't Get Stuck in the "Con" Game: Consistency, convergence, and confluence are not the same! Eventual consistency and eventual convergence aren't the same as confluence, either. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 19(3), pp. 16-35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tao Han, Wei-Wei Tu, Yu-Feng Li |
Explanation Consistency Training: Facilitating Consistency-Based Semi-Supervised Learning with Interpretability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 7639-7646, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Giorgi Nadiradze, Ilia Markov, Bapi Chatterjee, Vyacheslav Kungurtsev, Dan Alistarh |
Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 9037-9045, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xiaozheng Xie, Jianwei Niu 0002, Xuefeng Liu 0001, Qingfeng Li, Yong Wang, Shaojie Tang 0001 |
DK-Consistency: A Domain Knowledge Guided Consistency Regularization Method for Semi-supervised Breast Cancer Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021, Houston, TX, USA, December 9-12, 2021, pp. 3435-3442, 2021, IEEE, 978-1-6654-0126-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Susanne Braun, Annette Bieniusa, Frank Elberzhager |
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 9:1-9:12, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Vasilis Gavrielatos, Vijay Nagarajan, Panagiota Fatourou |
Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 5:1-5:10, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ta-Yuan Hsu, Ajay D. Kshemkalyani |
Convergent Causal Consistency for Social Media Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 10:1-10:8, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Pietro Amenta, Antonio Lucadamo, Gabriella Marcarelli |
On the transitivity and consistency approximated thresholds of some consistency indices for pairwise comparison matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 507, pp. 274-287, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yang Hui, Xuesong Mei, Gedong Jiang, Fei Zhao, Pengcheng Shen |
Assembly consistency improvement of straightness error of the linear axis based on the consistency degree and GA-MSVM-I-KM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 31(6), pp. 1429-1441, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dan Alistarh, Bapi Chatterjee, Vyacheslav Kungurtsev |
Elastic Consistency: A General Consistency Model for Distributed Stochastic Gradient Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.05918, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler |
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.04162, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Hesam Nejati Sharif Aldin, Hossein Deldari, Mohammad Hossein Moattar, Mostafa Razavi Ghods |
Strict Timed Causal Consistency as a Hybrid Consistency Model in the Cloud Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 105, pp. 259-274, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xin Zhao 0011, Philipp Haller |
Replicated data types that unify eventual consistency and observable atomic consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 114, pp. 100561, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Z. Emel Öztürk |
Consistency of scoring rules: a reinvestigation of composition-consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 49(3), pp. 801-831, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Strong and Efficient Consistency with Consistency-Aware Durability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAST ![In: 18th USENIX Conference on File and Storage Technologies, FAST 2020, Santa Clara, CA, USA, February 24-27, 2020., pp. 323-337, 2020, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
|
|