Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function reliability » functional reliability, function variability, functions liability
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function reliability » functional reliability, function variability, functions liability
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
1
Published 2005
Table of Contents:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Session 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... of Vital Activities in Reliability Program for Multi-state System by Using House of Reliability -- 12...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
17
Table of Contents:
“...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook