- 0 resultaten
laagste prijs: € 141,55, hoogste prijs: € 223,63, gemiddelde prijs: € 205,29
1
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 - A. Vachoux (Editor)
bestellen
bij BarnesandNoble.com
$ 154,15
(ongeveer € 141,55)
bestellen
A. Vachoux (Editor):

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 - gebruikt boek

2005, ISBN: 9789048172498

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since … Meer...

  - MPN: , SKU 9789048172498 Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
2
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 - A. Vachoux
bestellen
bij BarnesandNoble.com
$ 239,00
(ongeveer € 214,02)
bestellen

A. Vachoux:

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 - pocketboek

2005, ISBN: 9789048172498

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005 Applications-of-Specification-and-Design-Languages-for-SoCs~~A-Vachoux Science/Tech>Engineering>… Meer...

  - new Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
3
Applications of Specification and Design Languages for SoCs - Alain Vachoux
bestellen
bij lehmanns.de
€ 223,63
verzending: € 0,00
bestellen
Alain Vachoux:
Applications of Specification and Design Languages for SoCs - pocketboek

2010

ISBN: 9789048172498

gebonden uitgave

Selected papers from FDL 2005, Softcover reprint of hardcover 1st ed. 2006, Softcover, Buch, [PU: Springer]

  - Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
4
Applications of Specification and Design Languages for SoCs - Alain Vachoux
bestellen
bij lehmanns.de
€ 223,63
verzending: € 0,00
bestellen
Alain Vachoux:
Applications of Specification and Design Languages for SoCs - pocketboek

2010, ISBN: 9789048172498

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2006, Softcover, Buch, [PU: Springer]

  - Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
5
Applications of Specification and Design Languages for SoCs - Alain Vachoux
bestellen
bij lehmanns.de
€ 223,63
verzending: € 0,00
bestellen
Alain Vachoux:
Applications of Specification and Design Languages for SoCs - pocketboek

2010, ISBN: 9789048172498

1st ed. Softcover of orig. ed. 2006, Softcover, Buch, [PU: Springer]

  - Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)

Bijzonderheden over het boek
Applications of Specification and Design Languages for SoCs

This book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). It provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design. All the chapters have been carefully revised and extended to offer up-to-date information. They also provide seeds for further researches and developments in the field of heterogeneous systems-on-chip design.

Gedetalleerde informatie over het boek. - Applications of Specification and Design Languages for SoCs


EAN (ISBN-13): 9789048172498
ISBN (ISBN-10): 9048172497
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
336 Bladzijden
Gewicht: 0,536 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2012-02-06T06:05:51+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-01-18T08:25:28+01:00 (Amsterdam)
ISBN/EAN: 9789048172498

ISBN - alternatieve schrijfwijzen:
90-481-7249-7, 978-90-481-7249-8


Gegevens van de uitgever

Auteur: A. Vachoux
Titel: Applications of Specification and Design Languages for SoCs - Selected papers from FDL 2005
Uitgeverij: Springer; Springer Netherland
312 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,538 kg
Taal: Engels
192,59 € (DE)
197,99 € (AT)
212,50 CHF (CH)
POD

BC; Previously published in hardcover; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Hardware; Hardwarebeschreibungssprache; Signal; SystemC; VHDL; analog; communication; design; microelectromechanical system (MEMS); modeling; network on chip (NoC); simulation; software; system design; system on chip (SoC); B; Circuits and Systems; Electrical Engineering; Engineering Design; Electronics and Microelectronics, Instrumentation; Computer Hardware; Electronic Circuits and Systems; Electrical and Electronic Engineering; Engineering Design; Electronics and Microelectronics, Instrumentation; Computer Hardware; Engineering; Elektrotechnik; Konstruktion, Entwurf; Elektronik; Computerhardware; BB

List of Figures. List of Tables. Foreword; Alain Vachoux. Part I Specification, Design and Verification Methods. Introduction; Alain Vachoux. 1. PSL-Based Online Monitoring of Digital Systems; Dominique Borrione, Miao Liu, Pierre Ostier, and Laurent Fesquet. 2. Refining Synchronous Communication onto NoC Best-Effort Services; Zhonghai Lu, Ingo Sander, and Axel Jantsch. Part II C/C++-Based System Design. Introduction; Frank Oppenheimer. 3. Behaviour Separation Methodology; Giovanni B. Vece, Massimo Conti, and Simone Orcioni. 4. Mixing Synchronous Reactive and Untimed MoCs in SystemC; Fernando Herrera and Eugenio Villar. 5. Interface-Centric Abstraction Level for Rapid HW/SW Integration; André C. Nácul, Marcello Lajolo, and Tony Givargis. 6. Efficient and Customizable Integration of Temporal Properties into SystemC; Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel. 7. UMoC++: A C++ Based Multi-MoC Modeling Environment; Deepak A. Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, and Axel Jantsch. Part III Analog, Mixed-Signal and Heterogeneous System Design. Introduction; Christoph Grimm. 8. Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS; Torsten Mähne, Kersten Kehr, Axel Franke, Jörg Hauer, and Bertram Schmidt. 9. Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic; Wilhelm Heupke, Christoph Grimm, and Klaus Waldschmidt. 10. SystemC-WMS: Mixed Signal Simulation based on Wave exchanges; Simone Orcioni, Giorgio Biagetti, and Massimo Conti. 11. Automatic Generation of a Co-Verification Platform; Suad Kajtazovic, Christian Steger, Andreas Schuhai, and Markus Pistauer. 12. UML/XML-based approach to hierarchical AMS synthesis; Ian O’Connor, FaressTissafi-Drissi, Guillaume Révy, and Frédéric Gaffiot. Part IV UML-Based System Specification and Design. Introduction; Piet van der Putten. 13. Compiled and Synthesized UML; Cathy Berthouzoz, Francois Corthay, Medard Rieder, Rico Steiner, and Thomas Sterren. 14. Property-Preservation Synthesis for Unified Control- and Data-Oriented Models; Oana Florescu, Jeroen Voeten, and Henk Corporaal. 15. Traceability and Interoperability at Different Levels of Abstraction in Model Transformations; Lossan Bonde, Pierre Boulet, and Jean-Luc Dekeyser. 16. Power simulation of communication protocols with StateC; Luca Negri and Andrea Chiarini. 17. Integrating Model-Checking with UML-based SoC Development; Peter Green and Kinika Tasie-Amadi.

< naar Archief...