Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, coc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Nicolescu, G. (Επιμελητής έκδοσης), Jerraya, A. A. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2007.
Θέματα:	Engineering. Special purpose computers. Computers. Computer simulation. Computer-aided engineering. Electronic circuits. Circuits and Systems. Theory of Computation. Computer-Aided Engineering (CAD, CAE) and Design. Simulation and Modeling. Special Purpose and Application-Based Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim, κ.ά.
Έκδοση: (2006)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2005)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project /
Έκδοση: (2008)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDLβ04
ανά: Boulet, Pierre
Έκδοση: (2005)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Έκδοση: (2013)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim
Έκδοση: (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 /
Έκδοση: (2011)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 /
Έκδοση: (2009)

Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits
ανά: Yu, Wenjian, κ.ά.
Έκδοση: (2014)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Έκδοση: (2014)

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /
ανά: Burton, Mark, κ.ά.
Έκδοση: (2006)

UML for Real Design of Embedded Real-Time Systems /
Έκδοση: (2003)

Networks on Chip
Έκδοση: (2003)

Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
Έκδοση: (2008)

Heterogeneous Multicore Processor Technologies for Embedded Systems
ανά: Uchiyama, Kunio, κ.ά.
Έκδοση: (2012)

Views on Evolvability of Embedded Systems
Έκδοση: (2011)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh, κ.ά.
Έκδοση: (2005)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Adaptable Embedded Systems
Έκδοση: (2013)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
Έκδοση: (2006)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
Έκδοση: (2007)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav, κ.ά.
Έκδοση: (2010)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
ανά: Keinert, Joachim, κ.ά.
Έκδοση: (2011)

Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach /
Έκδοση: (2009)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ανά: Mishra, Prabhat
Έκδοση: (2005)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Έκδοση: (2007)

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
Έκδοση: (2009)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
ανά: Wieferink, Andreas, κ.ά.
Έκδοση: (2008)

Electronics System Design Techniques for Safety Critical Applications
ανά: Sterpone, Luca
Έκδοση: (2009)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
ανά: Verhulst, Eric, κ.ά.
Έκδοση: (2011)

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

Process Variations and Probabilistic Integrated Circuit Design
Έκδοση: (2012)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών