Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Dong, Jing (Editor ), Paul, Raymond (Editor ), Zhang, Liang-Jie (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Temas:	Software engineering. Computer science. Business mathematics. Computers. Microprocessors. Computer architecture. Computer programming. Software Engineering. Theory of Computation. Business Mathematics. Hardware Performance and Reliability. Processor Architectures. Programming Techniques.
Acceso en línea:	Texto Completo

Ejemplares similares

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers /
Publicado: (2008)

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 /
Publicado: (2016)

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers /
Publicado: (2009)

Beginning WSO2 ESB
por: Indrasiri, Kasun
Publicado: (2016)

Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings /
Publicado: (2009)

Instruction Level Parallelism
por: Aiken, Alex, et al.
Publicado: (2016)

Parallel Programming for Multicore and Cluster Systems /
por: Rauber, Thomas, et al.
Publicado: (2010)

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings /
Publicado: (2009)

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /
por: Kovalev, Mikhail, et al.
Publicado: (2014)

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

OpenMP in the Petascale Era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings /
Publicado: (2011)

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
Publicado: (2016)

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
Publicado: (2015)

High Performance Computing - HiPC 2006 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings /
Publicado: (2006)

High Performance Computing - HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /
Publicado: (2005)

High Performance Computing - HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007, Proceedings /
Publicado: (2007)

Guide to RISC Processors for Programmers and Engineers /
por: Dandamudi, Sivarama P.
Publicado: (2005)

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings /
Publicado: (2016)

Advanced Computer Architecture 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings /
Publicado: (2014)

Encyclopedia of Parallel Computing
Publicado: (2011)

Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers /
Publicado: (2010)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /
Publicado: (2008)

Parallel Programming for Multicore and Cluster Systems /
por: Rauber, Thomas, et al.
Publicado: (2013)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /
Publicado: (2007)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
Publicado: (2005)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /
Publicado: (2006)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /
Publicado: (2008)

Tools for High Performance Computing 2012
Publicado: (2013)

Multicore Programming Using the ParC Language
por: Ben-Asher, Yosi
Publicado: (2012)

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications /
por: Bobda, Christophe
Publicado: (2007)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings /
Publicado: (2005)

Distributed Simulation A Model Driven Engineering Approach /
por: Topçu, Okan, et al.
Publicado: (2016)

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures /
por: Wang, Endong, et al.
Publicado: (2014)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /
Publicado: (2006)

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings /
Publicado: (2007)

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers /
Publicado: (2009)

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
por: Lokuciejewski, Paul, et al.
Publicado: (2011)

Domain Decomposition Methods - Algorithms and Theory
por: Toselli, Andrea, et al.
Publicado: (2005)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Publicado: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings /
Publicado: (2010)