Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volum...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 1994.
Σειρά:	The Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, 283
Θέματα:	Computer science. Microprocessors. Special purpose computers. Computer Science. Special Purpose and Application-Based Systems. Processor Architectures. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Foundations of Dependable Computing Paradigms for Dependable Applications /
Έκδοση: (1994)

Fault-Tolerant Real-Time Systems The Problem of Replica Determinism /
ανά: Poledna, Stefan
Έκδοση: (1996)

Hard real-time computing systems Predictable scheduling algorithms and applications /
ανά: Buttazzo, Giorgio C.
Έκδοση: (1997)

The Engineering of Complex Real-Time Computer Control Systems
Έκδοση: (1996)

Foundations of Dependable Computing System Implementation /
Έκδοση: (1994)

Real-Time Systems Design Principles for Distributed Embedded Applications /
ανά: Kopetz, Hermann
Έκδοση: (1997)

Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers /
Έκδοση: (2016)

Event-Triggered and Time-Triggered Control Paradigms
ανά: Obermaisser, Roman
Έκδοση: (2005)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications /
ανά: Buttazzo, Giorgio C.
Έκδοση: (2011)

Real-Time Systems Design Principles for Distributed Embedded Applications /
ανά: Kopetz, Hermann
Έκδοση: (2011)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Designing Personalized User Experiences in eCommerce
Έκδοση: (2004)

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures /
ανά: Wang, Endong, κ.ά.
Έκδοση: (2014)

Imprecise and Approximate Computation
Έκδοση: (1995)

FPGA Implementations of Neural Networks
Έκδοση: (2006)

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings /
Έκδοση: (2013)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /
Έκδοση: (2007)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /
Έκδοση: (2005)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings /
Έκδοση: (2006)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
Έκδοση: (2008)

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
Έκδοση: (2016)

Processor Design System-on-Chip Computing for ASICs and FPGAs /
Έκδοση: (2007)

Networks on Chip
Έκδοση: (2003)

Service Virtualization Reality is Overrated /
ανά: Michelsen, John, κ.ά.
Έκδοση: (2012)

Android Best Practices
ανά: Nolan, Godfrey, κ.ά.
Έκδοση: (2014)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
Έκδοση: (2010)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I /
Έκδοση: (2017)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II /
Έκδοση: (2017)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Encyclopedia of Parallel Computing
Έκδοση: (2011)

Microelectronic Systems Circuits, Systems and Applications /
Έκδοση: (2011)

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Έκδοση: (2017)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

The Testability of Distributed Real-Time Systems
ανά: Schütz, Werner
Έκδοση: (1993)

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
Έκδοση: (2016)

Beginning Samsung ARTIK A Guide for Developers /
ανά: Wootton, Cliff
Έκδοση: (2016)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Real-Time Search for Learning Autonomous Agents
ανά: Ishida, Toru
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών