Cargando…

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerou...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Majumdar, Rupak (Editor ), Tabuada, Paulo (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Theoretical Computer Science and General Issues, 5469
Temas:	Computer networks . Computer systems. Software engineering. Computers, Special purpose. Microprocessors. Computer architecture. Computer science. Computer Communication Networks. Computer System Implementation. Software Engineering. Special Purpose and Application-Based Systems. Processor Architectures. Computer Science Logic and Foundations of Programming.
Acceso en línea:	Texto Completo

Ejemplares similares

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)

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)

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)

Processor Design System-On-Chip Computing for ASICs and FPGAs /
Publicado: (2007)

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

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
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)

Beginning Samsung ARTIK A Guide for Developers /
por: Wootton, Cliff
Publicado: (2016)

Event-Triggered and Time-Triggered Control Paradigms
por: Obermaisser, Roman
Publicado: (2005)

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

Encyclopedia of Parallel Computing
Publicado: (2011)

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings /
Publicado: (2013)

Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers /
Publicado: (2016)

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
Publicado: (2016)

Real-Time Systems Design Principles for Distributed Embedded Applications /
por: Kopetz, Hermann
Publicado: (2011)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications /
por: Buttazzo, Giorgio C.
Publicado: (2011)

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
Publicado: (2016)

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /
Publicado: (2006)

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper /
Publicado: (2006)

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
Publicado: (2009)

FPGA Implementations of Neural Networks
Publicado: (2006)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
Publicado: (2005)

Designing Embedded Processors A Low Power Perspective /
Publicado: (2007)

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
Publicado: (2008)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 /
Publicado: (2008)

VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers /
Publicado: (2012)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Publicado: (2014)

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
Publicado: (2011)

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings /
Publicado: (2010)

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Publicado: (2006)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /
Publicado: (2007)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Publicado: (2006)

Networked RFID Systems, Software and Services /
por: Roussos, George
Publicado: (2008)

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)

Mobile Wireless Middleware Operating Systems and Applications. Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009. Proceedings /
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_amgsf8v1a53btg8dssjjlq09ma