عنوان

Dependable and Historic Computing :

3642245412

9783642245411

b598159

Dependable and Historic Computing :

[Book]

Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday.

Cliff B Jones

Berlin, Heidelberg

Springer Berlin / Heidelberg

2012

(531 pages).

Lecture Notes in Computer Science Ser.

Beta: The Digital Computer Museum at Marlboro Massachusetts.

Title; Preface; Table of Contents; Part A: Biographical; What I Learned from Brian; Introduction; The Early Days; The 1975 International Conference on Reliable Software; The Proof of Correctness Wars; IFIP WG 10.4 and Newcastle Seminars; A Glimpse at the Future; References; Brian Randell: A Biographical Note; Part B: Conference Papers; On Building a Referee's Avatar; An Appreciation; Current Problems of the Refereeing Process; The Classes of Text Faults; Ontological Faults; Removal of Text Faults; Toward the Referee's Avatar; References. From Theory to Practice: The Invention of Programming, 1947-51Prolog; Introduction; The Planning and Coding Reports and Their Impact; The EDSAC: First Steps in Programming; Subroutines and the Wheeler Jump; Interpretive Routines and Debugging; Diffusion; References; Transactions: From Local Atomicity to Atomicity in the Cloud; Atomicity and Transactions: A Personal Perspective; ACID Properties; Architectural Approach to Reliability; Dealing with Concurrent Execution; Database Connection; Early Transactions; Ever More Data; The Cloud; Economic Imperative; Distributed Systems; CAP Caution. Eventual Consistency and MoreA New Platform; New Look at Transactions on Distributed Data; How to Exploit Data Centers; Deuteronomy; Deuteronomy Scaling; Summary; References; From DSS to MILS; Introduction; Policy and Sharing; Formal Models for Policy Architectures; References; Pre-electronic Computing; The Grand Narrative; Material Culture; Automatic Computation; Mechanical Logic; Babbage's Mechanical Notation; Computational Method; Ada Lovelace; The '100 Dark Years'; Totalisators; Epilogue; Tribute to Brian Randell; References; Whetstone Wanderings; Whetstone and ALGOL 60. Successors to ALGOL 60ALGOL W; Pascal; ALGOL 68; C++; Ada; Language Summary; Revisiting the Past --; The KDF9 Emulator; Has Modern Computing Gone Downhill?; References; Part C: Contributed Papers; Using Real-Time Road Traffic Data to Evaluate Congestion; Introduction; Sensors; Static Sensors; Mobile Sensors; General Vehicular Mobile Sensing; Data; Bus Probe Data; OpenStreetMap; High Resolution Probe Data; Selected Applications; Buses at Traffic Lights; Bus Data Journey Time Estimates; Velocity Fields and Congestion Spreading after Incidents; Conclusions and Future Directions; References. Fault Tolerant Autonomic Computing Systems in a Chemical SettingIntroduction; The Higher-Order Chemical Language; Chemical Recovery Blocks; Traditional Recovery Blocks; Traditional Recovery Blocks in a Chemical Setting; Applying the Chemical Recovery Blocks Framework; A Fault-Tolerant Mail System; General Description; Applying the Chemical Recovery Block; Conclusion; References; Out of a Closet: The Early Years of The Computer Museum; Introduction; Timeline: A 35 Year Quest for Overnight Success; Concept and Seed: Collectors and Preservers; Alpha: A Computer Museum Exhibit in a Closet.

This collection of 37 papers honors the 75th birthday of Brian Randell. The papers focus on the development of computing science and the study of its history. Includes papers presented at the conference 'Dependable and Historic Computing: The Randell Tales'.

Cliff B Jones

Cliff B Jones

John L Lloyd

[Book]

Y