Responsive Computer Systems: Dependable Computing and Fault-Tolerant Systems, cartea 7
Editat de Hermann Kopetz, Yoshiaki Kakudaen Limba Engleză Paperback – 22 ian 2012
Preț: 339.99 lei
Preț vechi: 424.99 lei
-20% Nou
Puncte Express: 510
Preț estimativ în valută:
65.07€ • 67.75$ • 54.99£
65.07€ • 67.75$ • 54.99£
Carte tipărită la comandă
Livrare economică 11-25 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783709192900
ISBN-10: 3709192900
Pagini: 396
Ilustrații: XI, 377 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.63 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
ISBN-10: 3709192900
Pagini: 396
Ilustrații: XI, 377 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.63 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Opening Session.- Six Difficult Problems in the Design of Responsive Systems.- Issues in Responsive Protocols Design.- Responsive Systems Theory.- A Probabilistic Duration Calculus.- Timed Statecharts and Real Time Logic.- Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline.- Responsive Protocols.- Towards a Responsive Network Protocol.- Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems.- Space-Time Tradeoff in Hierarchical Routing Schemes.- Work in Progress.- Fault-Tolerance Support for Responsive Computer Systems.- Position Paper: Responsive Airborne Radar Systems.- Overview of an Integrated Toolset Under Development for the CSR Paradigm.- A Distributed Snapshots Algorithm and its Application to Protocol Stabilization.- Protocol Validation Tool and Its Applicability to Responsive Protocols.- Keynote Address.- The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control.- Real-Time Systems.- Exception Handling in Real-Time Software from Specification to Design.- Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System.- Formal Specification and Simulation of a Real-Time Concurrency Control Protocol.- Panel Discussion.- What Are the Key Paradigms in the Integration of Timeliness and Availability ?.- Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability.- Complicatied Paradigm of Responsive Systems.- Toward Responsive Distributed Systems.- Resposive System Design.- A Reconfigurable Parallel Processor Based on a TDLCA Model.- A Modeling Approach for Dynamically Reconfigurable Systems.- Author Index.