Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Elaine L. Sonderegger"'
Publikováno v:
Annals of Operations Research. 184:273-294
Providing consistent and fault-tolerant distributed object services is among the fundamental problems in distributed computing. To achieve fault-tolerance and to increase throughput, objects are replicated at different networked nodes. However, repli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f053a55eded735d824a79748f8241776
https://doi.org/10.1007/s10479-010-0684-3
https://doi.org/10.1007/s10479-010-0684-3
Publikováno v:
Information and Computation. 194(2):101-128
This paper presents persistent Turing machines (PTMs), a new way of interpreting Turing-machine computation, based on dynamic stream semantics. A PTM is a Turing machine that performs an infinite sequence of “normal” Turing machine computations,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dff8a552204c32bedd10538cd33b144
Publikováno v:
Principles and Practice of Constraint Programming – CP 2010 ISBN: 9783642153952
CP
CP
RAMBO is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where the participating hosts may join, leave, or fail. To maintain availability and cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55a47c5504e9fec902d16cc5f0a75a3d
https://doi.org/10.1007/978-3-642-15396-9_47
https://doi.org/10.1007/978-3-642-15396-9_47
Autor:
Pascal Van Hentenryck, Laurent Michel, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal
Publikováno v:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ISBN: 9783642019289
CPAIOR
CPAIOR
Providing consistent and fault-tolerant distributed object services is among the fundamental problems in distributed computing. To achieve fault-tolerance and to increase throughput, objects are replicated at different networked nodes. However, repli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a23f46bd8b7f4842b22ac8b677be08c
https://doi.org/10.1007/978-3-642-01929-6_15
https://doi.org/10.1007/978-3-642-01929-6_15
Autor:
Laurent Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal
Publikováno v:
Principles and Practice of Constraint Programming-CP 2009 ISBN: 9783642042430
CP
CP
RAMBO is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic, rapidly changing networking environments. RAMBO is particularly apt at dealing with volatile envir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25de116147235e6c95cbe990f0da978b
https://doi.org/10.1007/978-3-642-04244-7_10
https://doi.org/10.1007/978-3-642-04244-7_10
Publikováno v:
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ISBN: 9783540681540
CPAIOR
CPAIOR
Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce significant communication costs to maintain consistency between the replicas. Eventual
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57671c3177e39fd05aec7a39138bb410
https://doi.org/10.1007/978-3-540-68155-7_16
https://doi.org/10.1007/978-3-540-68155-7_16
Publikováno v:
PODC
models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process of mapping the functionality of an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6e80870b6675f2038e19f52f24fc94e
https://doi.org/10.1145/1281100.1281159
https://doi.org/10.1145/1281100.1281159