Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Dependable Computing for Critical Applications
The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, and the Technical Committee 7 on Systems Reliability, Safety and Security of EWlCS. The rationale for the Working Conference is best expressed by the aims of WG 10. 4: " Increasingly, individuals and organizations are developing or procuring sophisticated computing systems on whose services they need to place great reliance. In differing circumstances, the focus will be on differing properties of such...
Mathematical Design
Electrical Engineering/Computer Science Mathematical Design Building Reliable Complex Computer Systems IEEE Press Series on Engineering of Complex Computer Systems Phillip A. Laplante and Alexander D. Stoyen, Series Editors As computer technology advances, the debugging process for complex computer systems has become increasingly difficult. To meet the challenge of program verification, computer engineers are turning to mathematical techniques in hardware design. Brought to you by distinguished scholar J. Paul Roth, Mathematical Design offers key insights into the research and development of the design of computers and computer systems. This book features authoritative coverage of the most important topics in the field: Two-level logic minimization Verification of a supercomputer, the IBM 3081 Algorithm for AC (dynamic) testing diagnosis Demonstration of hardware and software equivalence Complete with thought-provoking exercises and engaging commentary, Mathematical Design is an excellent reference for practicing hardware designers, as well as other engineers with an interest in computer science and mathematics.
Cultural Interaction Studies in East Asia
This volume tackles the unique scholarly challenges of Cultural Interaction Studies in an East Asian context. Leading experts in a variety of related fields – from religion and history to geography, language, literature, Sinology and Japanology – have contributed a total of 18 articles, collected under the following six rubrics: "New Directions in Regional Studies", "New Trends in Humanities Studies", "Material Circulation and Cultural Transmission in East Asia", "China's Experience of Cultural Interaction with the West", "Transformation of Japanese Scholarship from Early Modern to Modern Times", and "The Wisdom of Selective Adaptation and Constructive Dialog". Among the eight award-winn...
Pacific Rim International Symposium on Fault-Tolerant Systems
This work covers areas such as: fault tolerant architectures; error detection and correction; modelling and tools; replica control and protocols; fault tolerant systems; system evaluation; checkpointing and transaction processing; and formal verification.
FTCS-23
None
High-assurance Systems Engineering Symposium
Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault Analysis & Predication; Testing & Analysis of High-Assurance Systems; High-Assurance in Intelligent Systems
Bearing Capacity of Roads, Railways and Airfields
Bearing Capacity of Roads, Railways and Airfields includes the contributions to the 10th International Conference on the Bearing Capacity of Roads, Railways and Airfields (BCRRA 2017, 28-30 June 2017, Athens, Greece). The papers cover aspects related to materials, laboratory testing, design, construction, maintenance and management systems of transport infrastructure, and focus on roads, railways and airfields. Additional aspects that concern new materials and characterization, alternative rehabilitation techniques, technological advances as well as pavement and railway track substructure sustainability are included. The contributions discuss new concepts and innovative solutions, and are co...
