Søgeresultater - program computing https functionality reliability https

1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Få fuldtekst

Electronisk eBog

2

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”
Få fuldtekst

Electronisk eBog

3

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Få fuldtekst

Electronisk eBog

4

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Session 1 -- Reliability Analysis of Safety-Related Communication Architectures -- A Novel HAZOP...”
Få fuldtekst

Electronisk eBog

5

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Udgivet 2012

Indholdsfortegnelse: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Få fuldtekst

Electronisk eBog

6

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable...

Udgivet 2005

Indholdsfortegnelse: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Få fuldtekst

Electronisk eBog

7

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Udgivet 2008

Indholdsfortegnelse: “... for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological...”
Få fuldtekst

Electronisk eBog

8

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Udgivet 2006

Indholdsfortegnelse: “... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...”
Få fuldtekst

Electronisk eBog

9

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Udgivet 2012

Indholdsfortegnelse: “... of Vital Activities in Reliability Program for Multi-state System by Using House of Reliability -- 12...”
Få fuldtekst

Electronisk eBog

10

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”
Få fuldtekst

Electronisk eBog

11

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”
Få fuldtekst

Electronisk eBog

12

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Få fuldtekst

Electronisk eBog

13

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

14

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Få fuldtekst

Electronisk eBog

15

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Udgivet 2005

Indholdsfortegnelse: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Få fuldtekst

Electronisk eBog

16

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”
Få fuldtekst

Electronisk eBog

17

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

af O’Regan, Gerard., O’Regan, Gerard.
Udgivet 2013

Indholdsfortegnelse: “...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...”
Få fuldtekst

Electronisk eBog

18

Modelling Computing Systems Mathematics for Computer Science /

af Moller, Faron., Moller, Faron., Struth, Georg.
Udgivet 2013

Indholdsfortegnelse: “...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Få fuldtekst

Electronisk eBog

19

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”
Få fuldtekst

Electronisk eBog

20

Towards the Internet of Services: The THESEUS Research Program

Udgivet 2014

Indholdsfortegnelse: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning