Cargando…

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bensalem, Saddek (Editor ), Peled, Doron A. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Programming and Software Engineering, 5779
Temas:	Software engineering. Computer science. Computers. Compilers (Computer programs). Electronic digital computers-Evaluation. Software Engineering. Theory of Computation. Hardware Performance and Reliability. Compilers and Interpreters. System Performance and Evaluation.
Acceso en línea:	Texto Completo

Ejemplares similares

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers /
Publicado: (2008)

Reliable Software Technologies - Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /
Publicado: (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 /
Publicado: (2009)

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
Publicado: (2016)

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
Publicado: (2012)

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)

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Publicado: (2009)

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)

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
Publicado: (2012)

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Publicado: (2014)

Understanding Control Flow Concurrent Programming Using μC++ /
por: Buhr, Peter A.
Publicado: (2016)

Testbeds and Research Infrastructure: Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers /
Publicado: (2012)

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
Publicado: (2015)

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Publicado: (2007)

A Software Process Model Handbook for Incorporating People's Capabilities
por: Acuna, Silvia T., et al.
Publicado: (2005)

Software Process Modeling
Publicado: (2005)

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings /
Publicado: (2009)

Transactions on Petri Nets and Other Models of Concurrency VI
Publicado: (2012)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Publicado: (2010)

Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers /
Publicado: (2010)

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Publicado: (2013)

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings /
Publicado: (2014)

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
Publicado: (2013)

Encyclopedia of Parallel Computing
Publicado: (2011)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /
Publicado: (2012)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings /
Publicado: (2014)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings /
Publicado: (2013)

Performance Evaluation and Benchmarking Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers /
Publicado: (2009)

Multicore Software Engineering, Performance and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings /
Publicado: (2012)

Runtime Verification Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers /
Publicado: (2012)

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Publicado: (2015)

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Publicado: (2014)

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /
Publicado: (2016)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings /
Publicado: (2013)

Requirements Engineering and Management for Software Development Projects
por: Chemuturi, Murali
Publicado: (2013)

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services /
por: Gunther, Neil J.
Publicado: (2007)

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers /
Publicado: (2015)

Embedded Systems -- Modeling, Technology, and Applications Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006 /
Publicado: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_q1b4vi8v7o948squjnno8omr2t