عنوان

New models for population protocols /

شابک

1608455904

شابک

9781608455904

شابک اشتباه

1608455890

شابک اشتباه

9781608455898

شماره

b786752

عنوان اصلي

New models for population protocols /

نام عام مواد

[Book]

نام نخستين پديدآور

Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis.

محل نشرو پخش و غیره

[San Rafael, Calif.] :

نام ناشر، پخش کننده و غيره

Morgan & Claypool,

تاریخ نشرو بخش و غیره

©2011.

نام خاص و کميت اثر

1 online resource (xvi, 140 pages) :

ساير جزييات

illustrations

عنوان فروست

Synthesis lectures on distributed computing theory,

مشخصه جلد

#6

شاپا ي ISSN فروست

2155-1634 ;

متن يادداشت

Series from website.

متن يادداشت

Includes bibliographical references (pages 129-136).

متن يادداشت

1. Population protocols -- Introduction -- A formal model -- Stable computation -- Computational complexity -- Overview of the content -- Organization of the text -- Exercises.

متن يادداشت

2. The computational power of population protocols -- Semilinear sets and Presburger arithmetic -- Semilinear predicates are stably computable -- Stably computable predicates are semilinear -- Exercises.

متن يادداشت

3. Enhancing the model -- Introduction -- Composition of protocols: stabilizing inputs -- Probabilistic population protocols -- Epidemics -- 3-state approximate majority protocol -- Virtual register machine simulation -- Community protocols -- The model -- Computational power -- Exercises.

متن يادداشت

4. Mediated population protocols and symmetry -- Symmetric nondeterministic space (n2) -- Stable computation -- Predicates on input assignments -- Stably decidable network properties -- Weakly connected graphs -- Graphs not even weakly connected -- Exercises.

متن يادداشت

5. Passively mobile machines that use restricted space -- The model and the power of log space -- A first inclusion for PMSPACE (log n) -- Assigning unique ids by reinitiating computation -- A better inclusion for PMSPACE (log n) -- An exact characterization for PMSPACE (log n) -- Below log space, above log space and a space hierarchy -- Behavior of the PM model for space o(log log n) -- The logarithmic predicate -- Exercises.

متن يادداشت

6. Conclusions and open research directions -- Conclusions -- Open research directions -- Bibliography -- Acronyms -- Authors' biographies.

بدون عنوان

0

بدون عنوان

8

بدون عنوان

8

بدون عنوان

8

بدون عنوان

8

بدون عنوان

8

متن يادداشت

Wireless sensor networks are about to be part of everyday life. Homes and workplaces capable of self-controlling and adapting air-conditioning for different temperature and humidity levels, sleepless forests ready to detect and react in case of a fire, vehicles able to avoid sudden obstacles or possibly able to self-organize routes to avoid congestion, and so on, will probably be commonplace in the very near future. Mobility plays a central role in such systems and so does passive mobility, that is, mobility of the network stemming from the environment itself. The population protocol model was an intellectual invention aiming to describe such systems in a minimalistic and analysis-friendly way. Having as a starting-point the inherent limitations but also the fundamental establishments of the population protocol model, we try in this monograph to present some realistic and practical enhancements that give birth to some new and surprisingly powerful (for these kind of systems) computational models.

منبع سفارش / آدرس اشتراک

Safari Books Online

شماره انبار

CL0500000330

موضوع مستند نشده

Electronic data processing-- Distributed processing-- Mathematical models.

موضوع مستند نشده

Wireless sensor networks-- Mathematical models.

موضوع مستند نشده

COMPUTERS-- Client-Server Computing.

موضوع مستند نشده

Electronic data processing-- Distributed processing-- Mathematical models.

موضوع مستند نشده

COM-- 061000

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Michail, Othon.

مستند نام اشخاص تاييد نشده

Chatzigiannakis, Ioannis.

مستند نام اشخاص تاييد نشده

Spirakis, P. G., (Paul G.),1955-

تاريخ عمليات

20201207003024.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y