consistency - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

Cloud Types for Eventual ConsistencyBurckhardt, Sebastian, Fahndrich, Manuel, Leijen, Daan, Wood, Benjamin. In ECOOP 2012, Object-Oriented Programming. Volume 7313 of Lecture Notes in Computer Science, pages 283-307, Springer Berlin / Heidelberg, 2012.

Eventually Consistent TransactionsBurckhardt, Sebastian, Leijen, Daan, Fahndrich, Manuel, Sagiv, Mooly. In Programming Languages and Systems. Volume 7211 of Lecture Notes in Computer Science, pages 67-86, Springer Berlin / Heidelberg, 2012.

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt. Master's thesis, Delft University of Technology, Delft, The Netherlands, April 2012. [doi]

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt, Lennart C. L. Kats, Eelco Visser. LDTA 2012: [doi]

2011

Weak atomicity under the x86 memory consistency modelAmitabha Roy 0002, Steven Hand, Timothy L. Harris. ppopp 2011: 291-292 [doi]

Supporting Consistency Checking between Features and Software Product Line Use ScenariosMauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed. icsr 2011: 20-35 [doi]

Consistency Analysis in Bloom: a CALM and Collected ApproachPeter Alvaro, Neil Conway, Joe Hellerstein, William R. Marczak. cidr 2011: 249-260 [doi]

ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chatPedro Alves, Paulo Ferreira. cscw 2011: 553-562 [doi]

Geometric consistency checks for kNN based image classification relying on local featuresGiuseppe Amato, Fabrizio Falchi, Claudio Gennaro. sisap 2011: 81-88 [doi]

Dynamic consistency in process algebra: From Paradigm to ACPSuzana Andova, Luuk Groenewegen, Erik P. de Vink. SCP, 76(8):711-735, 2011. [doi]

New algorithms for max restricted path consistencyThanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh. constraints, 16(4):372-406, 2011. [doi]

Iterative Development of Consistency-Preserving Rule-Based RefactoringsBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137 [doi]

Balancing consistency and expert judgment in AHPJ. Benítez, Xitlali Delgado-Galván, J. A. Gutiérrez, Joaquín Izquierdo. mcm, 54(7-8):1785-1790, 2011. [doi]

Efficient algorithms for singleton arc consistencyChristian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre. constraints, 16(1):25-53, 2011. [doi]

Sequential covering rule induction algorithm for variable consistency rough set approachesJerzy Blaszczynski, Roman Slowinski, Marcin Szelag. isci, 181(5):987-1002, 2011. [doi]

Consistency Techniques for Hybrid SimulationsMarco Bottalico. ICLP 2011: 255-260 [doi]

From Session Guarantees to Contract Guarantees for Consistency of SOA-Compliant ProcessingJerzy Brzezinski, Arkadiusz Danilecki, Anna Kobusinska, Michal Szychowiak. aciids 2011: 386-395 [doi]

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory ModelsJacob Burnim, Koushik Sen, Christos Stergiou. TACAS 2011: 11-25 [doi]

Integrity and Consistency for Untrusted Services - (Extended Abstract)Christian Cachin. sofsem 2011: 1-14 [doi]

The Single-minded Pursuit of Consistency and its WeaknessWalter Alexandre Carnielli. sLogica, 97(1):81-100, 2011. [doi]

Testing Data Consistency of Data-Intensive Applications Using QuickCheckLaura M. Castro, Thomas Arts. ENTCS, 271:41-62, 2011. [doi]

Towards automatic consistency preservation for model-driven software product linesChessman K. F. Corrêa. SPLC 2011: 43 [doi]

An analysis of change operations to achieve consistency in model-driven software product linesChessman K. F. Corrêa, Toacy C. Oliveira, Cláudia Maria Lima Werner. SPLC 2011: 24 [doi]

Brief announcement: read invisibility, virtual world consistency and permissiveness are compatibleTyler Crain, Damien Imbs, Michel Raynal. spaa 2011: 315-316 [doi]

Multiview Stereo and Silhouette Consistency via Convex Functionals over Convex DomainsDaniel Cremers, Kalin Kolev. pami, 33(6):1161-1174, 2011. [doi]

On the Vocabulary of Grammar-Based Codes and the Logical Consistency of TextsLukasz Debowski. TIT, 57(7):4589-4599, 2011. [doi]

Interpretation of inconsistencies via context consistency diagramsViktoriya Degeler, Alexander Lazovik. percom 2011: 20-27 [doi]

RCDC: a relaxed consistency deterministic computerJoseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman. asplos 2011: 67-78 [doi]

Differentially private data cubes: optimizing noise sources and consistencyBolin Ding, Marianne Winslett, Jiawei Han, Zhenhui Li. sigmod 2011: 217-228 [doi]

Increasing performance in byzantine fault-tolerant systems with on-demand replica consistencyTobias Distler, Rüdiger Kapitza. eurosys 2011: 91-106 [doi]

FGMAC: Frequent subgraph mining with Arc ConsistencyBrahim Douar, Michel Liquiere, Chiraz Chiraz Latiri, Yahya Slimani. cidm 2011: 112-119 [doi]

Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human GuidanceAlexander Egyed, Andreas Demuth, Achraf Ghabi, Roberto Erick Lopez-Herrejon, Patrick Mäder, Alexander Nöhrer, Alexander Reder. ICMT 2011: 1-14 [doi]

Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human GuidanceAlexander Egyed, Andreas Demuth, Achraf Ghabi, Roberto Lopez-Herrejon, Patrick Mäder, Alexander Nöhrer, Alexander Reder. ICMT 2011: 1-14

A simple method to improve the consistency ratio of the pair-wise comparison matrix in ANPDaji Ergu, Gang Kou, Yi Peng, Yong Shi. eor, 213(1):246-259, 2011. [doi]

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional BehaviorClaudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer. FASE 2011: 156-170 [doi]

Consistency of Sequential Bayesian Sampling PoliciesPeter Frazier, Warren B. Powell. siamco, 49(2):712-731, 2011. [doi]

An Empirical Study of Tagging for Personal Information Organization: Performance, Workload, Memory, and ConsistencyQin Gao. IJHCI, 27(9):821-863, 2011. [doi]

The Parameterized Complexity of Local ConsistencySerge Gaspers, Stefan Szeider. eccc, 18:71, 2011. [doi]

Semantics of trace relations in requirements models for consistency checking and inferencingArda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis. SoSyM, 10(1):31-54, 2011. [doi]

Analyzing consistency properties for fun and profitWojciech M. Golab, Xiaozhou Li, Mehul A. Shah. podc 2011: 197-206 [doi]

Consistency in a Stream WarehouseLukasz Golab, Theodore Johnson. cidr 2011: 114-122 [doi]

Data Consistency in a Voluntary Medical Incident Reporting SystemYang Gong. jms, 35(4):609-615, 2011. [doi]

Measuring Consistency Gain and Information Loss in Stepwise Inconsistency ResolutionJohn Grant, Anthony Hunter. ecsqaru 2011: 362-373 [doi]

How to achieve consistency for 3D city modelsGerhard Gröger, Lutz Plümer. geoinformatica, 15(1):137-165, 2011. [doi]

Distributed Constraint Optimization Problems Related with Soft Arc ConsistencyPatricia Gutierrez, Pedro Meseguer. IJCAI 2011: 2812-2813 [doi]

Wake-up-word detection for robots using spatial eigenspace consistency and resonant curve similarityJwu-Sheng Hu, Ming-Tang Lee, Ting-Chao Wang. icra 2011: 3901-3906 [doi]

Integrating Visual Saliency and Consistency for Re-Ranking Image Search ResultsJun Huang, Xiaokang Yang, Xiangzhong Fang, Weisi Lin, Rui Zhang. tmm, 13(4):653-661, 2011. [doi]

Enforcing Policy and Data Consistency of Cloud TransactionsMarian Kamal Iskander, Dave W. Wilkinson, Adam J. Lee, Panos K. Chrysanthis. icdcsw 2011: 253-262 [doi]

Consistency Maintenance in Prosodic Labeling for Reliable Prediction of Prosodic BreaksYoungim Jung, Hyuk-Chul Kwon. acllaw 2011: 38-46 [doi]

Spatio-temporal consistency in video disparity estimationRamsin Khoshabeh, Stanley H. Chan, Truong Q. Nguyen. icassp 2011: 885-888 [doi]

On the consistency of deferred acceptance when priorities are acceptant substitutableFlip Klijn. mss, 62(2):101-103, 2011. [doi]

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic ApproachPavel Klinov, Bijan Parsia, David Picado-Muiño. jitr, 4(1):1-20, 2011. [doi]

AirLab: consistency, fidelity and privacy in wireless measurementsVinod Kone, Mariya Zheleva, Mike P. Wittie, Ben Y. Zhao, Elizabeth M. Belding, Haitao Zheng, Kevin C. Almeroth. ccr, 41(1):60-65, 2011. [doi]

A Modular Consistency Proof for DOLCEOliver Kutz, Till Mossakowski. AAAI 2011: [doi]

Empirical extension of a classification framework for addressing consistency in model based developmentLudwik Kuzniarz, Lefteris Angelis. INFSOF, 53(3):214-229, 2011. [doi]

Second-Order ConsistenciesChristophe Lecoutre, Stéphane Cardon, Julien Vion. jair, 40:175-219, 2011. [doi]

Transactional In-Page Logging for multiversion read consistency and recoverySang-Won Lee, Bongki Moon. icde 2011: 876-887 [doi]

Improved spoken term detection using support vector machines based on lattice context consistencyHung-yi Lee, Tsung-wei Tu, Chia-Ping Chen, Chao-Yu Huang, Lin-Shan Lee. icassp 2011: 5648-5651 [doi]

Brief announcement: program regularization in verifying memory consistencyLei Li, Tianshi Chen, Yunji Chen, Ling Li, Cheng Qian, Weiwu Hu. spaa 2011: 265-266 [doi]

Adaptive per-user per-object cache consistency management for mobile data access in wireless mesh networksYinan Li, Ing-Ray Chen. jpdc, 71(7):1034-1046, 2011. [doi]

Grid-Based Retargeting with Transformation Consistency SmoothingBing Li, Ling-Yu Duan, Jinqiao Wang, Jie Chen, Rongrong Ji, Wen Gao. mmm 2011: 12-24 [doi]

Maintaining Internal Consistency of Report for Real-Time OLAP with Layer-Based ViewZiyu Lin, Yongxuan Lai, Chen Lin, Yi Xie, Quan Zou. apweb 2011: 143-154 [doi]

Variable Consistency Dominance-based Rough Set Approach to formulate airline service strategiesJames J. H. Liou. asc, 11(5):4011-4020, 2011. [doi]

Transductive Regression with Local and Global Consistency for Image Super-ResolutionXianming Liu, Debin Zhao, Ruiqin Xiong, Siwei Ma, Wen Gao, Huifang Sun. dcc 2011: 173-182 [doi]

Side information extrapolation with temporal and spatial consistencyXianming Liu, Deming Zhai, Debin Zhao, Ruiqin Xiong, Siwei Ma, Wen Gao. iscas 2011: 2918-2921 [doi]

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checkingJean-Vivien Millo, Swarup Mohalik, S. Ramesh. indiaSE 2011: 41-50 [doi]

Realization and performance comparison of sequential and weak memory consistency models in network-on-chip based multi-core systemsAbdul Naeem, Xiaowen Chen, Zhonghai Lu, Axel Jantsch. aspdac 2011: 154-159 [doi]

Consistency Of Forest Presence And Biomass Predictions Modeled Across Overlapping Spatial And Temporal ExtentsMark D. Nelson, Sean Healey, Warren Keith Moser, Jeffrey G. Masek, Warren Cohen. mcfns, 3(2):102-113, 2011. [doi]

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary ConstraintsPeter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel. IJCAI 2011: 623-628 [doi]

Consistency at the Core of CommonsenseDonald Perlis. icaart 2011: 578-581

A Generalized Arc-Consistency Algorithm for a Class of Counting ConstraintsThierry Petit, Nicolas Beldiceanu, Xavier Lorca. IJCAI 2011: 643-648 [doi]

Business Process Configuration Wizard and Consistency Checker for BPMN 2.0Andreas Rogge-Solti, Matthias Kunze, Ahmed Awad, Mathias Weske. caise 2011: 231-245 [doi]

Address Translation Aware Memory ConsistencyBogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin. micro, 31(1):109-118, 2011. [doi]

Consistency of functional learning methods based on derivativesFabrice Rossi, Nathalie Villa-Vialaneix. prl, 32(8):1197-1209, 2011. [doi]

Quantifying test collection quality based on the consistency of relevance judgementsFalk Scholer, Andrew Turpin, Mark Sanderson. sigir 2011: 1063-1072 [doi]

Verifying the consistency of web-based technical documentationsChristian Schönberg, Franz Weitl, Burkhard Freitag. JSC, 46(2):183-206, 2011. [doi]

Multiwriter Consistency Conditions for Shared Memory RegistersCheng Shao, Jennifer L. Welch, Evelyn Pierce, Hyunyoung Lee. siamcomp, 40(1):28-62, 2011. [doi]

A Principled Approach to Eventual ConsistencyMarc Shapiro. wetice 2011: 1 [doi]

Achieving Data Consistency by Contextualization in Web-Based Collaborative ApplicationsHaifeng Shen, Chengzheng Sun. ACM Trans. Internet Techn., 10(4):13, 2011. [doi]

Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast AlgorithmKilho Shin, Danny Fernandes, Seiya Miyazaki. IJCAI 2011: 1491-1497 [doi]

Remarks on the Consistency of Upwind Source at Interface Schemes on Nonuniform GridsChiara Simeoni. jscic, 48(1-3):333-338, 2011. [doi]

A Linear Time Approximation Scheme for Maximum Quartet Consistency on Sparse Sampled InputsSagi Snir, Raphael Yuster. approx 2011: 339-350 [doi]

A Primer on Memory Consistency and Cache CoherenceDaniel J. Sorin, Mark D. Hill, David A. Wood. Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, 2011. [doi]

Feature consistency in compile-time-configurable system software: facing the linux 10, 000 feature problemReinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat. eurosys 2011: 47-60 [doi]

Formalizing model consistency based on the abstract syntaxFrank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak. EICS 2011: 79-84 [doi]

Defining a Process for Cross-Product User Interface ConsistencyLeslie Tudor, Cheryl L. Coyle. hci 2011: 91-95 [doi]

A combinatorial result related to the consistency of New FoundationsAthanassios Tzouvaras. APAL, 162(5):373-383, 2011. [doi]

Improving Users Consistency When Recalling Location Sharing PreferencesJayant Venkatanathan, Denzil Ferreira, Michael Benisch, Jialiu Lin, Evangelos Karapanos, Vassilis Kostakos, Norman M. Sadeh, Eran Toch. INTERACT 2011: 380-387 [doi]

Data Consistency Properties and the Trade-offs in Commercial Cloud Storage: the Consumers PerspectiveHiroshi Wada, Alan Fekete, Liang Zhao, Kevin Lee, Anna Liu. cidr 2011: 134-143 [doi]

Local and Structural Consistency for Multi-Manifold ClusteringYong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou. IJCAI 2011: 1559-1564 [doi]

On the consistency, expressiveness, and precision of partial modeling formalismsOu Wei, Arie Gurfinkel, Marsha Chechik. iandc, 209(1):20-47, 2011. [doi]

Efficient Consistency Measurement Based on Behavioral Profiles of Process ModelsMatthias Weidlich, Jan Mendling, Mathias Weske. TSE, 37(3):410-429, 2011. [doi]

Solving Difficult CSPs with Relational Neighborhood Inverse ConsistencyRobert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere. AAAI 2011: [doi]

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPsRobert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere. AAAI 2011: [doi]

Pairwise weak geometric consistency for large scale image searchHongtao Xie, Ke Gao, Yongdong Zhang, Jintao Li, Yizhi Liu. mir 2011: 42 [doi]

Metadata Distribution and Consistency Techniques for Large-Scale Cluster File SystemsJin Xiong, Yiming Hu, Guojie Li, Rongfeng Tang, Zhihua Fan. tpds, 22(5):803-816, 2011. [doi]

Consistency of interval fuzzy preference relations in group decision makingZeshui Xu. asc, 11(5):3898-3909, 2011. [doi]

Perceptual Motivated Coding Strategy for Quality ConsistencyLike Yu, Feng Dai, Yongdong Zhang, Shouxun Lin. mmm 2011: 21-28 [doi]

Dynamic theorem proving algorithm for consistency-based diagnosisLi-Ming Zhang, Hai-Lin Zeng, Fang Yang, Dan-tong Ouyang. eswa, 38(6):7511-7516, 2011. [doi]

Optimization of functional brain ROIs via maximization of consistency of structural connectivity profilesDajiang Zhu, Kaiming Li, Carlos Faraco, Fan Deng, Degang Zhang, Xi Jiang, Hanbo Chen, Lei Guo, L. Stephen Miller, Tianming Liu. isbi 2011: 2150-2154 [doi]

PreviousNext