Filters








14,314 Hits in 3.2 sec

Monotonic Prefix Consistency in Distributed Systems [article]

Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2018 arXiv   pre-print
We study the issue of data consistency in distributed systems.  ...  We show that no criterion stronger than Monotonic Prefix Consistency (MPC) can be implemented.  ...  More precisely, we prove that, under some conditions which are natural in a large distributed system, nothing stronger than monotonic prefix consistency (MPC) [6] can be implemented.  ... 
arXiv:1710.09209v2 fatcat:tgpeb5zh3fcbtbuywhuhukp27u

Monotonic Prefix Consistency in Distributed Systems [chapter]

Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2018 Lecture Notes in Computer Science  
We study the issue of data consistency in distributed systems.  ...  We show that no criterion stronger than Monotonic Prefix Consistency (MPC) can be implemented.  ...  More precisely, we prove that, under some conditions which are natural in a large distributed system (availability and convergence), nothing stronger than monotonic prefix consistency (MPC) [6] can be  ... 
doi:10.1007/978-3-319-92612-4_3 fatcat:xtpw5bd5mrap3hlzwxmrolpe3e

Blockchain abstract data type

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
2019 Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming - PPoPP '19  
This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed  ...  The paper presents as well some results on implementability of the presented abstractions and a mapping of representative existing blockchains from both academia and industry in our framework.  ...  Finally, [10] presents an implementation of the Monotonic Prefix Consistency (MPC) criterion and showed that no criterion stronger than MPC can be implemented in a partition-prone message-passing system  ... 
doi:10.1145/3293883.3303705 dblp:conf/ppopp/AnceaumePLPP19 fatcat:roxflox7ojeereih46pzpp3o34

Rethinking eventual consistency

Philip A. Bernstein, Sudipto Das
2013 Proceedings of the 2013 international conference on Management of data - SIGMOD '13  
Many systems weaken the criteria for replica-consistency or isolation, and in some cases add new mechanisms, to improve partition-tolerance, availability, and performance.  ...  There has been a resurgence of work on replicated, distributed database systems to meet the demands of intermittently-connected clients and of disaster-tolerant databases that span data centers.  ...  Examples include read-your-writes, monotonic reads, monotonic writes, consistent prefix, and bounded staleness [27] [29] .  ... 
doi:10.1145/2463676.2465339 dblp:conf/sigmod/BernsteinD13 fatcat:26botgh7trdf7b3pgco7ozb2fi

Online Hybrid CTC/Attention Architecture for End-to-End Speech Recognition

Haoran Miao, Gaofeng Cheng, Pengyuan Zhang, Ta Li, Yonghong Yan
2019 Interspeech 2019  
In this paper, we propose a stable monotonic chunkwise attention (sMoChA) to stream its attention branch and a truncated CTC prefix probability (T-CTC) to stream its CTC branch.  ...  Although the hybrid CTC/attention ASR system takes the advantages of both CTC and attention architectures in training and decoding, it remains challenging to be used for streaming speech recognition for  ...  By the combination of sMoChA and T-CTC prefix probability, our system achieves 4.8%/13.9% WERs without much degradation, as listed in line 4 of Table 1 .  ... 
doi:10.21437/interspeech.2019-2018 dblp:conf/interspeech/MiaoCZL019 fatcat:ucfe7xbi7zerfbetovwtkittuu

Blockchain Abstract Data Type

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni
2019 The 31st ACM on Symposium on Parallelism in Algorithms and Architectures - SPAA '19  
Our work is based on an original oracle-based construction that, along with new consistency definitions, captures the eventual convergence process in blockchain systems.  ...  This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed  ...  In the following we discuss Bitcoin and Redbelly, an interested reader can find the discussions for the other systems in the supplementary materials.  ... 
doi:10.1145/3323165.3323183 dblp:conf/spaa/AnceaumePLPP19 fatcat:6jpajvl5ybca5e36qqetbkno5u

Statistical Machine Translation Decoding Using Target Word Reordering [chapter]

Jesús Tomás, Francisco Casacuberta
2004 Lecture Notes in Computer Science  
Typically, a partial hypothesis is composed by a subset of source positions, which indicates the words that have been translated in this hypothesis, and a prefix of the target sentence.  ...  We implemented this approach using a multi-stack decoding technique for a phrase-based model, and compared it with both a conventional approach and a monotone approach.  ...  The system selects one partial hypothesis to extend.  ... 
doi:10.1007/978-3-540-27868-9_80 fatcat:ldr4n4affrfizktfq4myrasa7m

Interfaces for Stream Processing Systems [chapter]

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
2018 Lecture Notes in Computer Science  
In the proposed model, both the input and output of a stream processing system consists of tagged data items with a dependency relation over tags that captures the logical ordering constraints over data  ...  To form complex systems from simpler ones, we define sequential composition and parallel composition operations over data-trace transductions, and show how to define commonly used idioms in stream processing  ...  Data-String Transductions In the previous section we defined the notion of a data-trace transduction, which describes abstractly the behavior of a distributed stream processing system using a monotone  ... 
doi:10.1007/978-3-319-95246-8_3 fatcat:lnvfxuwxazbylalhexw2lo77yi

The expressive power of indeterminate dataflow primitives

Prakash Panangaden, Vasant Shanbhogue
1992 Information and Computation  
The foundational work in the theory of determinate distributed systems is due to Gilles Kahn (1977) . His model of distributed systems is as follows.  ...  INTRODUCTION The study of indeterminate computing systems is motivated by seeking to understand the theory underlying what is commonly called "distributed systems" programming.  ... 
doi:10.1016/0890-5401(92)90043-f fatcat:uj2xt7cjzvbkvo5ju7jd4dy7qi

When is Assortment Optimization Optimal? [article]

Will Ma
2022 arXiv   pre-print
In this paper we analyze the maximum possible revenue that can be earned in this setting, given that the buyer's preference is private but drawn from a known distribution.  ...  are in fact optimal.  ...  distribution which is consistent with the Nested Logit choice probabilities P k and has history-monotone futures.  ... 
arXiv:2105.10433v5 fatcat:nh34l2yld5b2rhzddnydwwas5e

A Constraint-Based Formalism for Consistency in Replicated Systems [chapter]

Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna
2005 Lecture Notes in Computer Science  
We present a formalism for modeling replication in a distributed system with concurrent users sharing information.  ...  It supports weak consistency (optimistic protocols) as well as the stronger pessimistic protocols. Our approach clarifies the requirements and assumptions common to all replication systems.  ...  However, even in an optimistic system, over time some actions will stabilise and form a prefix of all schedules. Such a system is consistent if the stable prefixes of different sites are equivalent.  ... 
doi:10.1007/11516798_24 fatcat:w7wsxrsftrczvkiabqoxjgaybq

User-Adaptive Text Entry for Augmentative and Alternative Communication [article]

Matt Higger, Fernando Quivira, Deniz Erdogmus
2019 arXiv   pre-print
In a previous work, 'Recursive Bayesian Coding for BCIs' (IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2016), a query strategy considers these structures to offer an error-adaptive  ...  For example, keyboard keys adjacent to a target may be more likely to be pressed in error. Furthermore, there can be structure in the input message itself (e.g. 'u' is likely to follow 'q').  ...  As can be seen in Fig 6, 7, 8 the monotonic constraint (see Sec III) is fairly mild in limiting performance.  ... 
arXiv:1910.01216v1 fatcat:pchcdh4ekjaxnmd4a4lnqgjceq

Multi-objective Evolutionary Algorithms are Generally Good: Maximizing Monotone Submodular Functions over Sequences [article]

Chao Qian, Dan-Xuan Liu, Chao Feng, Ke Tang
2021 arXiv   pre-print
We prove that for each kind of previously studied monotone submodular objective functions over sequences, i.e., prefix monotone submodular functions, weakly monotone and strongly submodular functions,  ...  and DAG monotone submodular functions, a simple multi-objective EA, i.e., GSEMO, can always reach or improve the best known approximation guarantee after running polynomial time in expectation.  ...  search-and-tracking and recommender systems, introduced in [7] .  ... 
arXiv:2104.09884v1 fatcat:irt5exdkgbdtnkzjkqfkj2l45q

Page 1796 of Mathematical Reviews Vol. , Issue 82d [page]

1982 Mathematical Reviews  
The connection between prefix codes and procedures for searching for the integral zero of a monotone function is also explored.  ...  In this case, a prefix can be added to each message string to indicate the length of (number of characters in) that string.  ... 

Trading Timeliness and Accuracy in Geo-Distributed Streaming Analytics

Benjamin Heintz, Abhishek Chandra, Ramesh K. Sitaraman
2016 Proceedings of the Seventh ACM Symposium on Cloud Computing - SoCC '16  
sensor data from smart homes, user interaction logs from streaming video clients, or server logs from a content delivery network (CDN), it is common for such streams to originate from geographically distributed  ...  When this is the case, applications must either sacrifice timeliness by allowing delayed-and in turn stale-results, or sacrifice accuracy by allowing some error in final results.  ...  There has been recent effort [16, 18, 19] in building geo-distributed analytics systems, both for batch as well as stream computing.  ... 
doi:10.1145/2987550.2987580 dblp:conf/cloud/HeintzCS16 fatcat:kkcjryk2v5gddpyxh2lipu5oai
« Previous Showing results 1 — 15 out of 14,314 results