Hardware-Software Co-Design of Embedded Systems : :: SCD d'Orléans

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach

Saved in:

Bibliographic Details
Main Authors:	Balarin, Felice, Chiodo, Massimiliano (Author), Passerone, Claudio (Author), Tabbara, Bassam (Author), Sentovich, Ellen (Author), Hsieh, Harry (Author), Lavagno, Luciano, 1959- (Author), Suzuki, Kei (Author), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Author), Giusto, Paolo (Author), Jurecska, Attila (Author)
Format:	Livre numérique
Language:	Anglais
Published:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online Access:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Autre(s) auteurs(s) : Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hardware-Software Co-Design of Embedded Systems, The POLIS Approach

Similar Items

Function/Architecture Optimization and Co-Design of Embedded Systems
by: Tabbara, Bassam, et al.

Synchronous Equivalence : Formal Methods for Embedded Systems
by: Hsieh, Harry, et al.

Designing embedded hardware
by: Catsoulis, John
Published: (2005)

Hardware-Software Co-Synthesis of Distributed Embedded Systems
by: Yen, Ti-Yen, et al.

Co-Synthesis of Hardware and Software for Digital Embedded Systems
by: Gupta, Rajesh Kumar

Embedded Controller Hardware Design
by: Arnold, Ken, 1958-
Published: (2001)

Hardware/software architectures for low-power embedded multimedia systems
by: Shafique, Muhammad, et al.
Published: (2011)

Cryptographic hardware and embedded systems : First InternationalWorkshop, CHES 99 Worcester, MA, USA, August 12 13, 1999 : proceedings

Cryptographic hardware and embedded systems : CHES 2004 : 6th international workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings

Hardware-dependent software : principles and practice
Published: (2009)

Hardware/Software Co-Design

Cryptographic hardware and embedded systems CHES 2001 : international workshop, Paris, France, May 14-16, 2001 : proceedings

Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

Cryptographic hardware and embedded systems - CHES 2003 : 5th international workshop, Cologne, Germany, September 8-10, 2003 : proceedings

Cryptographic hardware and embedded systems - CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

Embedded software : the works
by: Walls, Colin
Published: (2012)

Software-implemented hardware fault tolerance
by: Goloubeva, Olga, et al.

Cryptographic Hardware and Embedded Systems - CHES 2013 : 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
by: Bertoni, Guido
Published: (2013)

Cryptographic hardware and embedded systems - CHES 2002 : 4th international workshop, Redwood Shores, CA, USA, August 13-15, 2002 : revised papers

Algorithms for Synthesis and Testing of Asynchronous Circuits
by: Lavagno, Luciano, 1959-, et al.

Hardware and software architectures for fault tolerance : experiments and perspectives
by: Banâtre, Michel

A Practical Introduction to Hardware/Software Codesign
by: Schaumont, Patrick Robert

Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design: Principles and Practice

A Practical Introduction to Hardware/Software Codesign
by: Schaumont, Patrick Robert

GIS Software, Hardware, and Sources of GIS Data.
Published: (2025)

Quality Procedures for Hardware and Software : A Cost Effective Guide to Establishing a Quality System Contains Manuals and Template Procedures
by: Smith, David J., et al.

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
by: Shukla, Sandeep K.
Published: (2010)

System-level test and validation of hardware/software systems
by: Sonza Reorda, Matteo
Published: (2005)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Hardware/Firmware Interface Design : Best Practices for Improving Embedded Systems Development
by: Stringham, Gary

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Embedded Software Testing : Developing reliable software from fundamentals to AI-based techniques
by: Gruenfelder, Stephan, et al.
Published: (2026)

Fuzzy Hardware : Architectures and Applications

Hardware software co-design of a multimedia SOC platform
by: Chen, Sao-Jie, et al.
Published: (2009)

Co-verification of Hardware and Software for ARM SoC Design
by: Andrews, Jason

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales