Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs reliability » process reliability, product reliability
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
programs reliability » process reliability, product reliability
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
1
Table of Contents:
“...Basic Abstractions -- Reliable Broadcast -- Shared Memory -- Consensus -- Consensus Variants...”
View full text
View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14) -- DEvelopment, Verification...”View full text
Electronic
eBook
3
Subjects:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Computer System Survivability Modelling by Using Stochastic Activity Network -- Nuclear Safety...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... and Reliability (SPUR) in Automotive Software -- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Session 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP...”View full text
Electronic
eBook
8
Table of Contents:
“... allocation problem. Chapter 2 Recent Developments in Software Reliability Modeling -- 1. Introduction -- 2...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Introduction -- Backgrounds: Software Quality and Reliability Prediction -- Early Fault Prediction...”
View full text
View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Reinventing Computing for Real Time -- Applying Service-Oriented Development to Complex Systems...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...A New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development...”View full text
Electronic
eBook
13
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context...”View full text
Electronic
eBook
18
Table of Contents:
“...Introduction -- Reliability /Weibull, bathtub curve, basics (What is reliability?) -- Failure Modes...”
View full text
View full text
Electronic
eBook
19
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Published 2011
View full text
Electronic
eBook
20
Table of Contents:
“... and Concurrency -- Chapter 4: Getting Started with Web Development -- Chapter 5: Go Templates -- Chapter 6: HTTP...”
View full text
View full text
Electronic
eBook