High Assurance Services Computing

High Assurance Services Computing

High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing capt...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Zhang, Liang-Jie (Επιμελητής έκδοσης), Paul, Raymond (Επιμελητής έκδοσης), Dong, Jing (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2009.
Θέματα:	Computer science. Business mathematics. Computer software > Reusability. Microprocessors. Software engineering. Computer programming. Computers. Computer Science. Software Engineering/Programming and Operating Systems. Theory of Computation. Business Mathematics. Performance and Reliability. Processor Architectures. Programming Techniques.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Έκδοση: (2009)

Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
Έκδοση: (2009)

Tools for High Performance Computing 2016 Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany /
Έκδοση: (2017)

Tools for High Performance Computing 2012
Έκδοση: (2013)

Instruction Level Parallelism
ανά: Aiken, Alex, κ.ά.
Έκδοση: (2016)

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings /
Έκδοση: (2009)

Parallel Programming For Multicore and Cluster Systems /
ανά: Rauber, Thomas, κ.ά.
Έκδοση: (2010)

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers /
Έκδοση: (2008)

Beginning WSO2 ESB
ανά: Indrasiri, Kasun
Έκδοση: (2016)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings /
Έκδοση: (2017)

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers /
Έκδοση: (2016)

Software Verification and Validation An Engineering and Scientific Approach /
ανά: Fisher, Marcus S.
Έκδοση: (2007)

Requirements Engineering and Management for Software Development Projects
ανά: Chemuturi, Murali
Έκδοση: (2013)

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
Έκδοση: (2009)

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Έκδοση: (2009)

The JR Programming Language Concurrent Programming in an Extended Java /
ανά: Olsson, Ronald A., κ.ά.
Έκδοση: (2004)

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers /
Έκδοση: (2017)

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Έκδοση: (2009)

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings /
Έκδοση: (2016)

Advanced Computer Architecture 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings /
Έκδοση: (2014)

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project /
Έκδοση: (2013)

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Έκδοση: (2009)

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
Έκδοση: (2008)

Android Continuous Integration Build-Deploy-Test Automation for Android Mobile Apps /
ανά: Macharla, Pradeep
Έκδοση: (2017)

Understanding Control Flow Concurrent Programming Using μC++ /
ανά: Buhr, Peter A.
Έκδοση: (2016)

Guide to RISC Processors for Programmers and Engineers /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings /
Έκδοση: (2008)

Computing System Reliability Models and Analysis /
ανά: Xie, Min, κ.ά.
Έκδοση: (2004)

Parallel Algorithm Derivation and Program Transformation
Έκδοση: (1993)

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

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
Έκδοση: (2005)

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings /
Έκδοση: (2006)

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings /
Έκδοση: (2007)

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers /
Έκδοση: (2009)

Validation of Stochastic Systems A Guide to Current Research /
Έκδοση: (2004)

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /
Έκδοση: (2009)

Domain Decomposition Methods — Algorithms and Theory
ανά: Toselli, Andrea, κ.ά.
Έκδοση: (2005)

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers /
Έκδοση: (2012)

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings /
Έκδοση: (2009)

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