HOME > 상세정보

상세정보

Elements of distributed computing

Elements of distributed computing

자료유형
단행본
개인저자
Garg, Vijay K. (Vijay Kumar) , 1963-.
서명 / 저자사항
Elements of distributed computing / Vijay K. Garg.
발행사항
New York :   Wiley-Interscience ,   2002   (2006 printing)  
형태사항
xx, 423 p. : ill. ; 25 cm.
ISBN
0471036005 9780471036005
서지주기
Includes bibliography (p. 403-419) and index.
일반주제명
Electronic data processing -- Distributed processing.
000 00912namuu2200277 a 4500
001 000045389927
005 20071017105154
008 030507s2002 nyua b 001 0 eng d
010 ▼a 2002514133
015 ▼a GBA2-51567
020 ▼a 0471036005
020 ▼a 9780471036005
035 ▼a (KERIS)BIB000008701453
040 ▼a UUM ▼c UUM ▼d UKM ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA76.9.D5 ▼b G388 2002
082 0 4 ▼a 004.36 ▼2 22
090 ▼a 004.36 ▼b G231e
100 1 ▼a Garg, Vijay K. ▼q (Vijay Kumar) , ▼d 1963-.
245 1 0 ▼a Elements of distributed computing / ▼c Vijay K. Garg.
260 ▼a New York : ▼b Wiley-Interscience , ▼c 2002 ▼g (2006 printing)
300 ▼a xx, 423 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliography (p. 403-419) and index.
650 0 ▼a Electronic data processing ▼x Distributed processing.
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.36 G231e 등록번호 121156487 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

Foreword.

Preface.

Introduction.

Model of a Computation.

Logical Clocks.

Verifying Clock Algorithms.

Clocks of Different Dimensions.

Mutual Exclusion: Using Timestamps.

Mutual Exclusion: Tokens and Quorums.

Drinking Philosophers Problem.

Leader Election.

Global State.

Observing Global Predicates.

Observing Conjuctive Predicates.

Channel Predicates.

Termination Detection.

Control of a Distributed Computation.

Causal Message Ordering.

Synchronous and Total Message Ordering.

Computation of a Global Functon.

Repeated Global Computation of a Global Function.

Synchronizers.

Slicers.

Distributed Shared Memory.

Self-Stabilization.

Knowledge and Common Knowledge.

Consensus Under Asynchrony.

Consensus Under Synchrony.

Failure Detectors.

Easy Problems in Asychronous Systems.

Checkpointing for Recovery.

Message Logging for Recovery.

Appendix: Partial Orders.

Bibliography.

Index.


정보제공 : Aladin

관련분야 신착자료