Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. ProceedingsÖzalp Babaoglu, Keith Marzullo Microsystem technology (MST) integrates very small (up to a few nanometers) mechanical, electronic, optical, and other components on a substrate to construct functional devices. These devices are used as intelligent sensors, actuators, and controllers for medical, automotive, household and many other purposes. This book is a basic introduction to MST for students, engineers, and scientists. It is the first of its kind to cover MST in its entirety. It gives a comprehensive treatment of all important parts of MST such as microfabrication technologies, microactuators, microsensors, development and testing of microsystems, and information processing in microsystems. It surveys products built to date and experimental products and gives a comprehensive view of all developments leading to MST devices and robots. |
Contents
I | 1 |
II | 18 |
III | 29 |
IV | 40 |
V | 56 |
VI | 71 |
VII | 89 |
VIII | 105 |
XVII | 206 |
XVIII | 220 |
XIX | 234 |
XX | 251 |
XXI | 269 |
XXII | 287 |
XXIII | 304 |
XXIV | 322 |
Other editions - View all
Common terms and phrases
Actor assume asynchronous atomic commitment broadcasting building block collective consistency communication complete concurrent configuration connection consensus contains correct nodes correct process crashes defined definition denoted distributed algorithms Distributed Computing distributed garbage distributed systems divided image Euler cycle eventually reliable execution failure detector fault-tolerant faulty FD-oracle FindNode function garbage collection graph G holds implementation implies infinite initial input integers interval graph Interval Routing Labeling Scheme Lemma logical clocks mark-red message passing NDCSA Network Objects node number of messages operation optimal output P₁ partial trace path Paxos algorithm Prev_Sends problem Proc procedure Proceedings processors Proof properties quorum system reachable real-time received reference counting reliable channels reliable links remote clock req_ts requires result round routing scheme satisfies sender sequence serializable simplex simulation Simulation Theorem snapshot solves step suspected synchronisation termination Theorem timestamps variables vector clocks vertex vertices