Filters








5,210 Hits in 8.6 sec

Another advantage of free choice (Extended Abstract)

Michael Ben-Or
1983 Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83  
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)

Elizabeth Borowsky, Eli Gafni
1997 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97  
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]

David S. Greenberg, Gadi Taubenfeld, Da-Wei Wang
1992 Lecture Notes in Computer Science  
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?

Uwe Nestmann
1997 Electronical Notes in Theoretical Computer Science  
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?

Uwe Nestmann
1999 BRICS Report Series  
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?

Uwe Nestmann
2000 Information and Computation  
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?

Uwe Nestmann
1997 BRICS Report Series  
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

Catuscia Palamidessi, Oltea Mihaela Herescu
2005 Theoretical Computer Science  
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

Stuart Minor Benjamin
2003 Social Science Research Network  
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

Stuart Minor Benjamin
2003 Social Science Research Network  
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

A. Petcu, B. Faltings, D. C. Parkes
2008 The Journal of Artificial Intelligence Research  
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

Raymund Werle
2001 Journal of European Public Policy  
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

Paul Dourish, Janet Finlay, Phoebe Sengers, Peter Wright
2004 Extended abstracts of the 2004 conference on Human factors and computing systems - CHI '04  
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  
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

Martin Christiansen, Peter Larsen, Rasmus Jørgensen
2015 Robotics  
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