عنوان

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