Memory controllers for real-time embedded systems : :: SCD d'Orléans

Memory controllers for real-time embedded systems : predictable and composable real-time systems

Memory controllers for real-time embedded systems : predictable and composable real-time systems

Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autors principals:	Akesson, Benny, 1977-, Goossens, Kees (Autor)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	New York, NY : Springer New York 2012. Cham : Springer Nature
Col·lecció:	Embedded Systems 2
Matèries:	Systèmes embarqués (informatique) Ordinateurs > Mémoires à accès sélectif
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Memory Controllers for Real-Time Embedded Systems, Texte imprimé, 9781461430094 • Memory Controllers for Real-Time Embedded Systems, Texte imprimé, 9781441982063 • Memory Controllers for Real-Time Embedded Systems, Texte imprimé, 9781441982087

Ítems similars

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
per: Wang, Weixun, et al.
Publicat: (2013)

Embedded systems architecture : a comprehensive guide for engineers and programmers
per: Noergaard, Tammy
Publicat: (2012)

Embedded Microprocessor Systems : Real World Design
per: Ball, Stuart, 1956-
Publicat: (2002)

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

Building embedded linux systems
per: Yaghmour, Karim, et al.
Publicat: (2008)

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
per: Gumzej, Roman, et al.

Embedded Linux primer : a practical, real-world approach
per: Hallinan, Christopher
Publicat: (2011)

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

Embedded system design : modeling, synthesis and verification
per: Gajski, Daniel D., et al.
Publicat: (2009)

The Art of Designing Embedded Systems
per: Ganssle, Jack G., 19..-
Publicat: (1999)

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

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

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

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Model-Based Design of Adaptive Embedded Systems
per: Basten, Twan
Publicat: (2013)

Fuzzy Logic for Embedded Systems Applications
per: Ibrahim, Ahmad

Designing embedded hardware
per: Catsoulis, John
Publicat: (2005)

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 9-12, 1998 : proceedings

Views on evolvability of embedded systems
per: Van de Laar, Pierre

Designing Embedded Systems with PIC Microcontrollers : Principles and applications
per: Wilmshurst, Tim
Publicat: (2006)

Programming embedded systems : with C and GNU development tools
per: Barr, Michael, 1937-, et al.
Publicat: (2006)

Modélisation et analyse de systèmes embarqués
per: Kordon, Fabrice
Publicat: (2013)

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

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

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Publicat: (2002)

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

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Software frameworks and embedded control systems
per: Pasetti, Alessandro

Embedded Systems - Modeling, Technology, and Applications : Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26-27, 2006

Embedded and ubiquitous computing : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004 : proceedings

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
per: Deprettere, Ed F., 1944-

CAO de circuits et de systèmes intégrés
per: Mahdoum, Ali
Publicat: (2020)

Model driven development for embedded software : application to communications for drone swarm
per: Maxa, Jean-Aimé, et al.
Publicat: (2018)

Multiprocessor systems on chip : design space exploration
per: Kempf, Torsten, 19..-, et al.
Publicat: (2011)

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

Atmel ARM Programming for Embedded Systems : using C Language
per: Mazidi, Muhammad Ali, et al.
Publicat: (2017)

Embedded automation in human-agent environment
per: Tweedale, Jeffrey W., et al.

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

Linux embarqué : nouvelle étude de cas : traite d'OpenEmbedded
per: Ficheux, Pierre, et al.
Publicat: (2012)

© 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