Responsive Computer Systems: Dependable Computing and Fault-Tolerant Systems, cartea 7
Editat de Hermann Kopetz, Yoshiaki Kakudaen Limba Engleză Paperback – 22 ian 2012
Preț: 327.04 lei
Preț vechi: 408.80 lei
-20%
Puncte Express: 491
Carte tipărită la comandă
Livrare economică 27 iulie-10 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.