MPG.eBooks - Search Results - %((instability theory) OR (reliability theory))%22

1

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

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm...”

Read Now

2

Reliable Software Technologies – Ada-Europe 2015...

Published 2015

Springer International Publishing

Table of Contents: “... Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source...”

Read Now

3

Reliable Software Technologies – Ada-Europe 2018...

Published 2018

Springer International Publishing

Table of Contents: “... Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory...”

Read Now

4

Reliability and Statistics in Transportation and Communication...

Published 2023

Springer International Publishing

“... discussed at the 22nd International Multidisciplinary Conference on Reliability and Statistics...”

Read Now

5

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

Published 2012

Springer London

Table of Contents: “... to Statistical Inference -- 2. Using D-Spectra in Network Monte Carlo: Estimation of System Reliability...”

Read Now

6

Supercomputing : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings

Published 2014

Springer International Publishing

Subjects: “...Hardware Performance and Reliability...”

Read Now

7

Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Published 2005

Springer US

Subjects: “...Hardware Performance and Reliability...”

Read Now

8

High Performance Computing : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Published 2017

Springer International Publishing

Subjects: “...Hardware Performance and Reliability...”

Read Now

9

Mathematical Optimization Theory and Operations Research : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Table of Contents: “... theory -- Equilibrium arrivals to preemptive queueing system with fixed reward for completing request...”

Read Now

10

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

Published 2008

Springer Berlin Heidelberg

Table of Contents: “...: Local-Spin Algorithms for Abortable Mutual Exclusion and Related Problems -- Data Failures -- Reliable...”

Read Now

11

Reliability and Risk Modeling of Engineering Systems

Published 2021

Springer International Publishing

Table of Contents: “... for reliability based cost decision -- Models for clean and green production for industrial system -- Model...”

Read Now

12

System Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from , July 18-22, 2005, Turin, Italy

Published 2006

Springer US

Table of Contents: “... -- Reliability in Computer Networks...”

Read Now

13

Conceptual Structures: Common Semantics for Sharing Knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable...”

Read Now

14

IUTAM Symposium on Dynamics and Control of Nonlinear Systems with Uncertainty : Proceedings of the IUTAM Symposium held in Nanjing, China, September 18-22, 2006

Published 2007

Springer Netherlands

Table of Contents: “... Telescopic Systems -- Influence of a Pendulum Absorber on the Nonlinear Behavior and Instabilities of a Tall...”

Read Now

15

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Published 2017

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

16

Algorithmic Aspects in Information and Management : 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “... Transaction Data -- Topical part: Blockchain, Logic, Complexity and Reliability -- Multi-Window Bitcoin Price...”

Read Now

17

Ad Hoc Networks : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Control Algorithms for Simple Mobile Networks -- Reliable Coverage Area Based Link Expiration Time (LET...”

Read Now

18

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2023

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

19

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2023

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

20

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2016

Springer Berlin Heidelberg

Table of Contents: “... Bisimulation -- Interpolants in Nonlinear Theories over the Reals -- PTIME Computation of Transitive Closures...”

Narrow Search