|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3224215 |
| 003 |
MWH |
| 005 |
20191025032036.0 |
| 007 |
cr nn 008mamaa |
| 008 |
121227s1995 xxu| s |||| 0|eng d |
| 020 |
|
|
|a 9781461522713
|
| 024 |
7 |
|
|a 10.1007/978-1-4615-2271-3
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-1-4615-2271-3
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UYQE
|2 bicssc
|
| 072 |
|
7 |
|a COM025000
|2 bisacsh
|
| 072 |
|
7 |
|a UYQE
|2 thema
|
| 245 |
1 |
0 |
|a Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
|h [electronic resource] /
|c edited by Donald Fussell, Miroslaw Malek.
|
| 250 |
|
|
|a 1st ed. 1995.
|
| 264 |
|
1 |
|a New York, NY :
|b Springer US :
|b Imprint: Springer,
|c 1995.
|
| 300 |
|
|
|a XX, 268 p. 19 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a The Springer International Series in Engineering and Computer Science,
|x 0893-3405 ;
|v 297
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 1 A Tight Lower Bound for Processor Coordination -- 1 Introduction -- 2 Overview -- 3 The Problem -- 4 The Bermuda Triangle -- 5 The Lower Bound -- 6 Generalizing to the Partially Synchronous Model -- References -- 2 Self-Stabilizing Real-Time Decision Systems -- 1 Introduction -- 2 Related Work -- 3 A Model of Computation -- 4 Definitions and Notation -- 5 Terminating Self-Stabilizing Programs -- 6 Boolean (Finite State) Programs -- 7 Non-Terminating Self-Stabilizing Programs -- 8 Self-Stabilization and Informed Decisions -- 9 Acknowledgements -- References -- 3 Management and Scheduling of Tests for Locating Failures Dependent Upon Operation-Time in Responsive Systems -- 1 Introduction -- 2 Definitions and Notation -- 3 Assignment and Scheduling of Multiple Test Sets -- 4 The Analysis of Fault Location -- 5 A priori information analysis -- 6 Conclusion -- References -- 4 Adding Robustness in Dynamic Preemptive Scheduling -- 1 Introduction -- 2 Terminology and Assumptions -- 3 Schedulability analysis -- 4 The RED scheduling strategy -- 5 Performance Evaluation -- 6 Related Work -- 7 Conclusions -- References -- 5 Static Deadlock Analysis for CSP-Type Communications -- 1 Introduction -- 2 The Sequence Condition -- References -- 6 Comparing How Well Asynchronous Atomic Broadcast Protocols Perform -- 1 Introduction -- 2 Assumptions -- 3 Overview of Broadcast Protocols -- 4 Simulation Results -- 5 Relative Performance -- 6 Conclusion -- References -- 7 Hard Real-Time Reliable Multicast in the Dedos System -- 1 Introduction -- 2 System architecture and failure assumptions -- 3 Protocol description -- 4 Protocol analysis -- 5 Conclusion -- References -- 8 Speculative Algorithms for Concurrency Control in Responsive Databases -- 1 Introduction -- 2 RTDBMS Concurrency Control -- 3 A Generic SCC-nS Algorithm -- 4 SCC-NS Family Members -- 5 Conclusion -- References -- 9 Autonomous Transaction Managers in Responsive Computing -- 1 Introduction -- 2 System Structure and Notation -- 3 Synchronization of the Local Schedules -- 4 Effects of Transaction Aborts -- 5 Synchronization of CSR Schedules -- 6 A Pragmatic Restriction -- 7 Further Observations -- 8 Conclusions -- 9 Appendix -- References -- 10 Adaptable Fault Tolerance for Real-Time Systems -- 1 Introduction -- 2 The Three-level Framework -- 3 FERT Specification Language -- 4 Support for Scheduling -- 5 Conclusions and Discussion -- References -- 11 Fault-Tolerant Automatic Control -- 1 Introduction to the Software Fault-Tolerance Problem -- 2 The Simplex Architecture -- 3 Laboratory Experiments -- 4 Conclusion -- References -- 12 Design and Performance Evaluation of A Fault-Tolerant, Hard-Real-Time, Parallel Processor -- 1 Introduction -- 2 FTPP Overview -- 3 Overview of FTPP Scheduling -- 4 OS Performance Measurements -- 5 NE Contention Model -- 6 Conclusions -- References.
|
| 520 |
|
|
|a Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. It lays the groundwork for a more comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited. It breaks important ground in the development of a fruitful, modern perspective on computer systems as they are currently developing and as they may be expected to develop over the next decade. Audience: An interesting and important road map to some of the most important emerging issues in computing, suitable as a secondary text for graduate level courses on responsive computer systems and as a reference for industrial practitioners.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Special purpose computers.
|
| 650 |
|
0 |
|a Microprocessors.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Fussell, Donald.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Malek, Miroslaw.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a The Springer International Series in Engineering and Computer Science,
|x 0893-3405 ;
|v 297
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-4615-2271-3
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32242153
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g xxu
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-ENG
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Engineering (Springer-11647)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21373802
|z 02-26-20
|
| 999 |
f |
f |
|i c9383c08-ad62-5993-b527-391817f7fbc1
|s 7c77d776-e5a2-5167-b7cd-62e329207b0d
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|