Cargando…

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings /

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers h...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Schirner, Gunar (Editor ), Götz, Marcelo (Editor ), Rettberg, Achim (Editor ), Zanella, Mauro C. (Editor ), Rammig, Franz J. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	IFIP Advances in Information and Communication Technology, 403
Temas:	Computers, Special purpose. Electronic digital computers-Evaluation. Software engineering. Computer-aided engineering. Special Purpose and Application-Based Systems. System Performance and Evaluation. Software Engineering. Computer-Aided Engineering (CAD, CAE) and Design.
Acceso en línea:	Texto Completo

Ejemplares similares

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
por: Mishra, Prabhat, et al.
Publicado: (2005)

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009, Proceedings /
Publicado: (2009)

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Publicado: (2006)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Publicado: (2007)

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Publicado: (2005)

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
por: Nicolescu, G., et al.
Publicado: (2007)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
por: Kogel, Tim, et al.
Publicado: (2006)

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011, Proceedings /
Publicado: (2011)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project /
Publicado: (2008)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Publicado: (2005)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /
Publicado: (2006)

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

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
Publicado: (2005)

Architecting Dependable Systems VI
Publicado: (2009)

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

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings /
Publicado: (2014)

High Availability and Disaster Recovery Concepts, Design, Implementation /
por: Schmidt, Klaus
Publicado: (2006)

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers /
Publicado: (2012)

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers /
Publicado: (2007)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
Publicado: (2013)

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers /
Publicado: (2010)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
por: Kormanyos, Christopher Michael
Publicado: (2013)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
por: Kormanyos, Christopher
Publicado: (2015)

Grids, Clouds and Virtualization
Publicado: (2011)

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
Publicado: (2015)

Embedded Systems Specification and Design Languages Selected Contributions from FDL'07 /
Publicado: (2008)

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

Euro-Par 2010, Parallel Processing Workshops HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers /
Publicado: (2011)

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I /
Publicado: (2012)

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II /
Publicado: (2012)

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /
Publicado: (2010)

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

Encyclopedia of Parallel Computing
Publicado: (2011)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
Publicado: (2010)

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, Proceedings /
Publicado: (2010)

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
Publicado: (2016)

Embedded System Design Modeling, Synthesis and Verification /
por: Gajski, Daniel D., et al.
Publicado: (2009)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings /
Publicado: (2005)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings /
Publicado: (2007)

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012, Proceedings /
Publicado: (2012)