A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Another advantage of free choice (Extended Abstract)
1983
Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83
Preserved Fulltext
This result shows another advantage of probabilistic protocols, since any deterministic solution to the "Byzantine Generals" problem cannot reach agreement in less than t ~ 1 rounds, (see [1, 2] ). ...
Here, if the number of faulty )rocesses, t, satisfies 5t < N, where N is the ;oral number of the processes, then completely asynchronous agreement is possible (Theorem 2). ...
doi:10.1145/800221.806707
dblp:conf/podc/Ben-Or83
fatcat:seqv7p2rinharbljq7v2vgpwlq
A simple algorithmically reasoned characterization of wait-free computation (extended abstract)
1997
Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This paper introduces two new novel tools for the study of distributed computing and shows their utility by using them to exhibit a simple derivation of the Herlihy and Shavit characterization of wait-free ...
The first tool is the notion of the iterated version of a given model. ...
Thus, since we cannot say that one complete characterization is more complex than another, the way to compare characterizations is qualitative, that is, by the ease with which they allow various interesting ...
doi:10.1145/259380.259439
dblp:conf/podc/BorowskyG97
fatcat:qqfvvlwcubcqnfuvjibn5pzc7i
Choice coordination with multiple alternatives (preliminary version)
[chapter]
1992
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
The goal is to design a wait-free protocol for n asynchronous processes which causes all correct processes to agree on one out of k possible alternatives. ...
The agreement on a single choice is complicated by the fact that there is no a priori agreement on names for the alternatives. ...
In this abstract we give only a sketch of the proof of Part 1 of Theorem 2. The complete protocol on which the proof is based is given in Figure 2 . ...
doi:10.1007/3-540-56188-9_4
fatcat:vn2wr7si3zet7arzypcyfmylx4
What is a 'Good' Encoding of Guarded Choice?
1997
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The -calculus with synchronous output and mixed-guarded choices is strictly more expressive than the -calculus with asynchronous output and no choice. ...
In detail, we present a series of encodings for languages with (1) input-guarded choice, (2) both input-and output-guarded choice, and (3) mixed-guarded choice, and investigate them with respect to compositionality ...
A deadlock-and divergence-free encoding of this triggers the continuation processes in the n=m clause of the receiver's protocol. ...
doi:10.1016/s1571-0661(05)80474-8
fatcat:toc36ecepnh2znenleb73aj2te
What is a 'Good' Encoding of Guarded Choice?
1999
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The pi-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the pi-calculus with asynchronous output and no choice. ...
<br /> In detail, we present a series of encodings for languages with (1) input-guarded choice, (2) both input- and output-guarded choice, and (3) mixed-guarded choice, and investigate them with respect ...
Gradual commitments The encoding of input-guarded choice in Figure 4 is not fully abstract with respect to weak asynchronous bisimulation ≈ a . ...
doi:10.7146/brics.v6i43.20113
fatcat:zdh72ucvkbabllrkhmvrd7lrzu
What is a "Good" Encoding of Guarded Choice?
2000
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Calculi with asynchronous name-passing like the &-calculus [HT92] and the corresponding variant of the choice-free ? ...
Gradual Commitments The encoding of input-guarded choice in Fig. 4 is not fully abstract with respect to weak asynchronous bisimulation r a . ...
doi:10.1006/inco.1999.2822
fatcat:hldwafyoarbcxd3abh5otm2iui
What Is a 'Good' Encoding of Guarded Choice?
1997
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The pi-calculus with synchronous output and mixed-guarded choices is strictly more expressive than the pi-calculus with asynchronous output and no choice. ...
<br />In detail, we present a series of encodings for languages with (1) input-guarded choice, (2) both input- and output-guarded choice, and (3) mixed-guarded choice, and investigate them with respect ...
Then, quickly recalling the uniform encoding of input-guarded choice of [NP96] , we extend it to a uniform encoding of output-guards in the context of separate choices ( §3). ...
doi:10.7146/brics.v4i45.19266
fatcat:ft4tknmnenfczpy6wvorru2r7e
A randomized encoding of the π-calculus with mixed choice
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We consider the problem of encoding the -calculus with mixed choice (i.e. input/output guarded choice) into the asynchronous -calculus. ...
This research has been supported by Projet Rossignol of ACI Sécurité Informatique (Ministère de la recherche et nouvelles technologies). agreement on choices is often difficult to achieve. ...
Acknowledgements We would like to thank Dale Miller for his comments on preliminary versions of this paper, and the anonymous referees for their careful revision and extremely valuable help in correcting ...
doi:10.1016/j.tcs.2004.11.020
fatcat:yeztxiivhvazjmsmky7rzq7u2y
Spectrum Abundance and the Choice Between Private and Public Control
2003
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The comparative question of the efficiency of private versus public control, meanwhile, entails an evaluation of the implications of the profit motive (enhanced ability and desire to devise the best networks ...
, but also the desire to attain monopoly power) versus properties of government action (the avoidance of private monopoly, but also a cumbersome process that can be subject to rent-seeking). ...
Part III considers the comparative advantages of private versus government control. There are many choices and tradeoffs in the design of protocols, which allows for competition among protocols. ...
doi:10.2139/ssrn.408700
fatcat:rxmypdq4sngzveefbdsdfukyza
Spectrum Abundance and the Choice Between Private and Public Control
2003
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The comparative question of the efficiency of private versus public control, meanwhile, entails an evaluation of the implications of the profit motive (enhanced ability and desire to devise the best networks ...
, but also the desire to attain monopoly power) versus properties of government action (the avoidance of private monopoly, but also a cumbersome process that can be subject to rent-seeking). ...
Part III considers the comparative advantages of private versus government control. There are many choices and tradeoffs in the design of protocols, which allows for competition among protocols. ...
doi:10.2139/ssrn.424580
fatcat:h77l6osgivb7pnfjacjpzgqk4m
M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems
2008
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Faithfulness ensures that no agent can benefit by unilaterally deviating from any aspect of the protocol, neither information-revelation, computation, nor communication, and whatever the private information ...
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agents, where each agent has ...
The three anonymous reviewers also provided excellent suggestions for improving the exposition of this work. An earlier version of this paper appeared in the Proc. ...
doi:10.1613/jair.2500
fatcat:m6zr6zg3s5fevhvhcfwjkyq2lm
Institutional aspects of standardization – jurisdictional conflicts and the choice of standardization organizations
2001
Journal of European Public Policy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Standardization organizations in the area of information and telecommunications technology have mushroomed in the last two decades. ...
Institutional features do not only frame a standardization organization's behavior toward other organizations, they also account for speed, exclusiveness, costs and market acceptance of standardization ...
However, they are not necessarily provided to the public free of charge (but on equal terms). ...
doi:10.1080/13501760110056031
fatcat:75d7x44plvcr7nrkssqtcoloyi
Reflective HCI
2004
Extended abstracts of the 2004 conference on Human factors and computing systems - CHI '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
In extending this work to the responsive media environment of the TGarden, the relation is not limited to the rhythm of one body with another, but of one body with the salient responsive elements in the ...
By agent-free we mean an approach that does not presume the subject. ...
It has continued with the support of Ken Anderson of Intel Research. We also thank Paul Berry, who built the FIASCO back-end. ...
doi:10.1145/985921.986203
dblp:conf/chi/DourishFSW04
fatcat:2riaoweryzhnza25n4hwbghwha
Energy technology choices: shaping our future
1992
ChoiceReviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The report provides a broad overview of energy choices facing the Nation. ...
It is not an exhaustive analysis of any one technology; rather, it draws together the main themes of OTA reports from the past 16 years, and other documents, into an outline of the main directions the ...
between asynchronous systems. ...
doi:10.5860/choice.30-0247
fatcat:vw3owfjwsjbelcpzwsxst5zhrq
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration
2015
Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The result of the analysis provides developers with an overview of the impacts of each candidate solution in the chosen design space. ...
In this paper, we present a collaborative modeling technique that combines discrete-event models of controller software with continuous-time models of physical robot components. ...
Acknowledgments The financial support of this study given by the Danish Ministry of Food, Agriculture and Fisheries is gratefully acknowledged. ...
doi:10.3390/robotics4040398
fatcat:ivkoamkr6zhdtboodgeufdlsfm
« Previous
Showing results 1 — 15 out of 5,210 results