Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 191-201, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 383-397, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rong Su 0001, Walter Murray Wonham |
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(1), pp. 39-70, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Distributed fault daignosis, Multiresolutional computation, Discret-event systems, Hierarchical |
19 | Hong Pan, Huimin Lin, Yi Lv |
Model Checking Data Consistency for Cache Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(5), pp. 765-775, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
value-passing, symbolic transition graphs, model checking, concurrent systems, cache coherence protocols |
19 | Chi-Hung Chi, Lin Liu 0001, Choon-Keng Chua |
Content Consistency Model for Pervasive Internet Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Web Intelligence and Data Mining ![In: Advances in Web Intelligence and Data Mining, pp. 41-50, 2006, Springer, 978-3-540-33879-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Raimar J. Scherer, Peter Katranuschkov |
From Data to Model Consistency in Shared Engineering Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EG-ICE ![In: Intelligent Computing in Engineering and Architecture, 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers, pp. 615-626, 2006, Springer, 3-540-46246-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Amitabha Roy 0002, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang |
Fast and Generalized Polynomial Time Memory Consistency Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 503-516, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni |
Unconscious Eventual Consistency with Gossips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 65-81, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ana Maria Marques da Silva, Cecil Chow Robilotta |
Attenuation correction in cardiac SPECT using consistency conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 271-274, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen |
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 425-432, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ruay-Shiung Chang, Jih-Sheng Chang |
Adaptable Replica Consistency Service for Data Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Third International Conference on Information Technology: New Generations (ITNG 2006), 10-12 April 2006, Las Vegas, Nevada, USA, pp. 646-651, 2006, IEEE Computer Society, 0-7695-2497-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jiajun Bu, Bo Jiang 0009, Chun Chen 0001, Jianxv Yang |
On Demand Consistency Maintenance in Heterogeneous Collaborative Graphics Editing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 539-543, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zhenlong Du, Xueying Qin, Wei Hua, Hujun Bao |
Salience-Preserving Image Composition with Luminance Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWICPAS ![In: Advances in Machine Vision, Image Processing, and Pattern Analysis, International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006, Proceedings, pp. 308-316, 2006, Springer, 3-540-37597-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Yucheng Dong, Yinfeng Xu |
Consistency Measures of Linguistic Preference Relations and Its Properties in Group Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 501-511, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Yu Huang 0002, Jiannong Cao 0001, Beihong Jin |
A predictive approach to achieving consistency in cooperative caching in MANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infoscale ![In: Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006, pp. 50, 2006, ACM, 1-59593-428-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitsoulis |
Consistency of the Matching Predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings, pp. 555-558, 2006, Springer, 3-540-34117-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sung-Jin Kim, Falko Kuester, K. H. Kim |
A global timestamp-based approach to enhanced data consistency and fairness in collaborative virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 10(3), pp. 220-229, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Global timestamp, Fairness, Online game, TMO, Real-time distributed systems |
19 | Georg Ringwelski |
An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 24(3-4), pp. 431-454, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic and distributed constraint processing, constraint propagation |
19 | Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard |
Implications of a Data Structure Consistency Checking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 214-226, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Derek Bruening, Saman P. Amarasinghe |
Maintaining Consistency and Bounding Capacity of Software Code Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 20-23 March 2005, San Jose, CA, USA, pp. 74-85, 2005, IEEE Computer Society, 0-7695-2298-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | José-Antonio Alonso, María Teresa Lamata |
A Statistical Criterion of Consistency in the Analytic Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005, Proceedings, pp. 67-76, 2005, Springer, 3-540-27871-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Itsuki Noda |
Consistency Management Framework for Database Used in Integrated Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2005: Robot Soccer World Cup IX, pp. 279-289, 2005, Springer, 3-540-35437-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Christiane V. Pousa, Luís F. W. Góes, Dulcinéia Oliveira da Penha, Carlos Augusto Paiva da Silva Martins |
Reconfigurable Sequential Consistency Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Yan Zhijun |
Consistency Analysis of Interorganizational Processes Based on Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China, pp. 187-190, 2005, IEEE Computer Society, 0-7695-2430-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ling Chen 0001 |
An Adaptive Consistency Maintenance Approach for Replicated Continuous Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (1) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 795-801, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Xin Chen 0034, Shansi Ren, Haining Wang, Xiaodong Zhang 0001 |
SCOPE: scalable consistency maintenance in structured P2P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 13-17 March 2005, Miami, FL, USA, pp. 1502-1513, 2005, IEEE, 0-7803-8968-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jerzy Brzezinski, Cezary Sobaniec |
Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers, pp. 978-985, 2005, Springer, 3-540-34141-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Josef Zlomek, Roman Barták |
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 876, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng |
Consistency Checking of Concurrent Models for Scenario-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 298-312, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ewa Dönitz, Martin G. Möhrle |
Consistency Matrices Within Scenario Technique: An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2005, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Bremen, Germany, September 7-9, 2005, pp. 741-746, 2005, 978-3-540-32537-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hubie Chen, Víctor Dalmau |
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 232-247, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange 0001, John Malone-Lee, Gregory Neven, Pascal Paillier, Haixia Shi |
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings, pp. 205-222, 2005, Springer, 3-540-28114-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jenny Ulriksson, Rassul Ayani |
Consistency Overhead using HLA for Collaborative Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada, pp. 7-15, 2005, IEEE Computer Society, 0-7695-2462-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | John W. Bastian, Anton van den Hengel |
Computing Surface-Based Photo-Consistency on Graphics Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2005, 6-8 December 2005, Cairns, Australia, pp. 76, 2005, IEEE Computer Society, 0-7695-2467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Albert Meixner, Daniel J. Sorin |
Dynamic Verification of Sequential Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 32st International Symposium on Computer Architecture (ISCA 2005), 4-8 June 2005, Madison, Wisconsin, USA, pp. 482-493, 2005, IEEE Computer Society, 978-0-7695-2270-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Martin Mauve, Jürgen Vogel 0001, Volker Hilt, Wolfgang Effelsberg |
Local-lag and timewarp: providing consistency for replicated continuous applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 6(1), pp. 47-57, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Nicolas Bouillot, Eric Gressier-Soudan |
Consistency models for distributed interactive multimedia applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 38(4), pp. 20-32, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Lüth, Markus Roggenbach, Lutz Schröder |
CCC - The Casl Consistency Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 94-105, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Nguyen Truong Thang, Takuya Katayama |
Handling Consistency of Software Evolution in an Efficient Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPSE ![In: 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 6-7 September 2004, Kyoto, Japan, pp. 121-130, 2004, IEEE Computer Society, 0-7695-2211-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Song Gao, Wee Siong Ng, Weining Qian |
Preserving Consistency of Dynamic Data in Peer-Based Caching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 15th International Conference, DEXA 2004 Zaragoza, Spain, August 30-September 3, 2004, Proceedings, pp. 622-633, 2004, Springer, 3-540-22936-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Hae-Kyong Kang, Tae-wan Kim, Ki-Joune Li |
Topological Consistency for Collapse Operation in Multi-scale Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings, pp. 91-102, 2004, Springer, 3-540-23722-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Victor C. S. Lee, Joseph Kee-Yin Ng, Jo Y. P. Chong, Kwok-Wa Lam |
Maintaining Temporal Consistency in Broadcast Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: 5th IEEE International Conference on Mobile Data Management (MDM 2004), 19-22 January 2004, Berkeley, CA, USA, pp. 284-, 2004, IEEE Computer Society, 0-7695-2070-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jesús Acosta Elías, Leandro Navarro-Moldes |
Performance Evaluation of the Fast Consistency Algorithms in Large Decentralized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I, pp. 615-618, 2004, Springer, 3-540-22114-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed G. Gouda, Alex X. Liu |
Firewall Design: Consistency, Completeness, and Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 320-327, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Francisco J. Torres-Rojas, Esteban Meneses |
Analyzing Convergence in Consistency Models for Distributed Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 346-356, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Hansheng Lei, Venu Govindaraju |
A Study on the Consistency of Features for On-Line Signature Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004 Proceedings, pp. 444, 2004, Springer, 3-540-22570-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Anne Condon, Alan J. Hu |
Automatable Verification of Sequential Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(5), pp. 431-460, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | John Moses, Malcolm Farrow |
A Procedure for Assessing the Influence of Problem Domain on Effort Estimation Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 11(4), pp. 283-300, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Hierarchical Bayesian inference, hyperparameters, interactions with random effects, model fit and checking, deviance statistic, informative and non-informative priors, dependence, effort estimates, COCOMO, linear regression models |
19 | Minglun Gong, Yee-Hong Yang |
Fast Stereo Matching Using Reliability-Based Dynamic Programming and Consistency Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 9th IEEE International Conference on Computer Vision (ICCV 2003), 14-17 October 2003, Nice, France, pp. 610-617, 2003, IEEE Computer Society, 0-7695-1950-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Joseph D. Pellegrino, Constantinos Dovrolis |
Bandwidth requirement and state consistency in three multiplayer game architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 2nd Workshop on Network and System Support for Games, NETGAMES 2003, Redwood City, California, USA, May 22-23, 2003, pp. 52-59, 2003, ACM, 1-58113-734-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Carlos J. Alonso, Juan José Rodríguez, Belarmino Pulido Junquera |
Enhancing Consistency Based Diagnosis with Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers, pp. 312-321, 2003, Springer, 3-540-22218-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jingfang Zheng, Michael C. Horsch |
A Comparison of Consistency Propagation Algorithms in Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 160-174, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jesús Acosta Elías, Leandro Navarro-Moldes |
Generalization of the Fast Consistency Algorithm to a Grid with Multiple High Demand Zones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II, pp. 275-284, 2003, Springer, 3-540-40195-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Wei-Yu Chen, Arvind Krishnamurthy, Katherine A. Yelick |
Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 340-356, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Fabrizio Grandoni 0001, Giuseppe F. Italiano |
Improved Algorithms for Max-restricted Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 858-862, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Igor Razgon, Amnon Meisels |
Maintaining Dominance Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 945-949, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad |
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 600-614, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Zhijun Wang 0001, Sajal K. Das 0001, Hao Che, Mohan Kumar |
SACCS: Scalable Asynchronous Cache Consistency Scheme for Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 797-802, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
Behavioral Consistency Validation of UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 118-125, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya |
Consistency Analysis of Reconfigurable Dataflow Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Processor Design Challenges ![In: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS, pp. 1-17, 2002, Springer, 3-540-43322-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut |
Consistency Checking of Semantic Web Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings, pp. 454-459, 2002, Springer, 3-540-43760-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal |
Consistency Checking of Financial Derivatives Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetObjectDays ![In: Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers, pp. 166-183, 2002, Springer, 3-540-00737-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Dabrowski, Kevin L. Mills, Jesse Elder |
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Middleware Services ![In: 4th Annual International Workshop on Active Middleware Services (AMS 2002), 23 July 2002, Edinburgh, UK, pp. 51-60, 2002, IEEE Computer Society, 0-7695-1721-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Michael C. Horsch, William S. Havens, Aditya Ghose |
Generalized Arc Consistency with Application to MaxCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002, Proceedings, pp. 104-118, 2002, Springer, 3-540-43724-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Peter Veelaert |
Reestablishing Consistency of Uncertain Geometric Relations in Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers, pp. 268-281, 2002, Springer, 3-540-00916-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Martin Wirsing, Alexander Knapp |
View Consistency in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 341-357, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Spiros Skiadopoulos, Manolis Koubarakis |
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions. ![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. 341-355, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Marc R. C. van Dongen |
Domain-Heuristics for Arc-Consistency Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Workshop on Constraint Solving and Constraint Logic Programming ![In: Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, pp. 62-75, 2002, Springer, 3-540-00986-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Dabrowski, Kevin L. Mills, Jesse Elder |
Understanding consistency maintenance in service discovery architectures during communication failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 168-178, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Silvio Giove, Salvatore Greco, Benedetto Matarazzo, Roman Slowinski |
Variable Consistency Monotonic Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 247-254, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sanny Gustavsson, Sten Andler |
Self-stabilization and eventual consistency in replicated real-time databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSS ![In: Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002, pp. 105-107, 2002, ACM, 1-58113-609-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Marsha Chechik, John D. Gannon |
Automatic Analysis of Consistency between Requirements and Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(7), pp. 651-672, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis |
19 | Hachemi Bennaceur, Mohamed-Salah Affane |
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 560-564, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Marcelo Glusman, Shmuel Katz |
Extending Memory Consistency of Finite Prefixes to Infinite Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 411-425, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | A. Al-Khudair, W. A. Gray, John C. Miles |
Dynamic Evolution and Consistency of Collaborative Configurations in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 207-218, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Alex Gontmakher, Assaf Schuster |
Java consistency: nonoperational characterizations for Java memory behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 18(4), pp. 333-386, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java memory models, nonoperational specification, multithreading |
19 | Ricardo Galli, Yuhua Luo |
Mu3D: a causal consistency protocol for a collaborative VRML editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceedings of the Fifth Symposium on Virtual Reality Modeling Language, Web3D-VRML 2000, Monterey, CA, USA, February 20-24, 2000, pp. 53-62, 2000, ACM, 1-58113-211-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
architecture, multicasting, CAD, VRML, distributed virtual environments |
19 | Jelica Protic, Veljko M. Milutinovic |
A Comparison of Three Protocols for Entry Consistency Maintenance Based on MVA Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August - 1 September 2000, San Francisco, California, USA, pp. 517-523, 2000, IEEE Computer Society, 0-7695-0728-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Lisa Higham, Jalal Kawash |
Memory Consistency and Process Coordination for SPARC Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2000, 7th International Conference, Bangalore, India, December 17-20, 2000, Proceedings, pp. 355-366, 2000, Springer, 3-540-41429-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Kurt Mehlhorn, Sven Thiel |
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 306-319, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel |
A Theory of Consistency for Modular Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 486-504, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Ed Brinksma |
Cache Consistency by Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(2-3), pp. 61-74, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Caching protocols, Correctness preserving, Transformations, Process algebra, Reactive systems, Formal design |
19 | Howard J. Schultz, Dong-Min Woo, Frank Stolle, Edward M. Riseman |
Error Detection and DEM Fusion using Self-Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 1174-1181, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Laurence Cholvy |
Checking regulation consistency by using SOL-resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 73-79, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Pascal Fradet, Daniel Le Métayer, Michaël Périn |
Consistency Checking for Multiple View Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 410-428, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Kyung-Ah Chang, Byung-Rae Lee, Tai-Yun Kim |
Proxy Agent Consistency Service Based on CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDA ![In: Mobile Data Access, First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999, Proceedings, pp. 230-239, 1999, Springer, 3-540-66878-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Gabriel Girard, Hon Fung Li |
Evaluation of Two Optimized Protocols for Sequential Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | James B. Lim, Ali R. Hurson |
Data Duplication and Consistency in a Mobile, Multidatabase Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: International Conference on Parallel and Distributed Systems, ICPADS '98, Tainan, Taiwan, December 14-16, 1998, pp. 50-58, 1998, IEEE Computer Society, 0-8186-8603-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Yves Deville, Micha Janssen, Pascal Van Hentenryck |
Consistency Techniques in Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 162-176, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Weisong Shi, Weiwu Hu, Zhimin Tang |
An Interaction of Coherence Protocols and Memory Consistency Models in DSM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 31(4), pp. 41-54, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Franklin, Michael J. Carey 0001, Miron Livny |
Transactional Client-Server Cache Consistency: Alternatives and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 22(3), pp. 315-363, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jae Bum Lee, Chu Shik Jhon |
Hardware Support for Release Consistency with Queue-based Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 144-, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Yuanyuan Zhou 0001, Liviu Iftode, Jaswinder Pal Singh, Kai Li 0001, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill, David A. Wood 0001 |
Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997, pp. 193-205, 1997, ACM, 0-89791-906-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Junpei Niwa, Tatsushi Inagaki, Takashi Matsumoto 0002, Kei Hiraki |
Efficient Implementation of Software Release Consistency on Asymmetric Distributed Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 198-201, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Brüning, Torsten Schaub |
A Model-Based Approach to Consistency-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 315-324, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Steven A. Battle |
Establishing Arc Consistency for Multiple Database Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 49-58, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen |
Consistency and Refinement for Partial Specification in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 287-306, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Cynthia Dwork, Ching-Tien Ho, H. Raymond Strong |
Collective Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings, pp. 234-250, 1996, Springer, 3-540-61769-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | André Postma, Thijs Krol |
Interactive Consistency in Quasi-Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 2-9, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Lindemann, Friedrich Schön |
Modeling Relaxed Memory Consistency Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings, pp. 385-400, 1995, Springer, 3-540-60300-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|