Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /

Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of softw...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Huss, Sorin A. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2007.
Θέματα:	Engineering. Special purpose computers. Architecture, Computer. Programming languages (Electronic computers). Electronic circuits. Circuits and Systems. Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer System Implementation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ανά: Verma, Manish, κ.ά.
Έκδοση: (2007)

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

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
Έκδοση: (2007)

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
Έκδοση: (2006)

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
Έκδοση: (2017)

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Έκδοση: (2017)

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
Έκδοση: (2016)

Processor Design System-on-Chip Computing for ASICs and FPGAs /
Έκδοση: (2007)

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

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

Designing Embedded Processors A Low Power Perspective /
Έκδοση: (2007)

Encyclopedia of Parallel Computing
Έκδοση: (2011)

Microelectronic Systems Circuits, Systems and Applications /
Έκδοση: (2011)

UML for SOC Design
Έκδοση: (2005)

Ingredients for Successful System Level Design Methodology
ανά: Patel, Hiren D., κ.ά.
Έκδοση: (2008)

Embedded Systems Design The ARTIST Roadmap for Research and Development /
ανά: Bouyssounouse, Bruno, κ.ά.
Έκδοση: (2005)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
Έκδοση: (2006)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Έκδοση: (2010)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Έκδοση: (2014)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
Έκδοση: (2005)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Έκδοση: (2007)

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Έκδοση: (2013)

Electrical Design of Through Silicon Via
Έκδοση: (2014)

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
Έκδοση: (2006)

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
Έκδοση: (2017)

Hardware-dependent Software Principles and Practice /
Έκδοση: (2009)

Harnessing VLSI System Design with EDA Tools
ανά: Kamat, Rajanish K., κ.ά.
Έκδοση: (2012)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
Έκδοση: (2008)

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
Έκδοση: (2009)

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
Έκδοση: (2007)

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Έκδοση: (2006)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Έκδοση: (2006)

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II /
Έκδοση: (2011)

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I /
Έκδοση: (2011)

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
Έκδοση: (2007)

XML for Bioinformatics
ανά: Cerami, Ethan
Έκδοση: (2005)

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

Unleash the System On Chip using FPGAs and Handel C
ανά: Kamat, Rajanish K., κ.ά.
Έκδοση: (2009)

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