System Specification & Design Languages, Eugenio Villar; Jean Mermet

Автор: Sorin Alexander Huss
Название: Advances in Design and Specification Languages for Embedded Systems
ISBN: 9048175496 ISBN-13(EAN): 9789048175499
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.

Автор: Tom J. Ka?mierski; Adam Morawiec
Название: System Specification and Design Languages
ISBN: 1489994416 ISBN-13(EAN): 9781489994417
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.

Автор: Peter J. Ashenden; Jean Mermet; Ralf Seepold
Название: System-on-Chip Methodologies & Design Languages
ISBN: 1441949011 ISBN-13(EAN): 9781441949011
Издательство: Springer
Рейтинг:
Цена: 26546.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rolf Drechsler; Robert Wille
Название: Languages, Design Methods, and Tools for Electronic System Design
ISBN: 3319317229 ISBN-13(EAN): 9783319317229
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems.

Автор: J?rg Gutknecht
Название: Programming Languages and System Architectures
ISBN: 3540578404 ISBN-13(EAN): 9783540578406
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Exploring the interaction between the formal world of algorithms and the physical world of electronic circuits, this volume contains research papers on programming language design, programming methods and environments, operating systems, compiler construction and new architectures.

Автор: Franco Fummi; Robert Wille
Название: Languages, Design Methods, and Tools for Electronic System Design
ISBN: 3319629190 ISBN-13(EAN): 9783319629193
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany.

Автор: Marie-Minerve Lou?rat; Torsten Maehne
Название: Languages, Design Methods, and Tools for Electronic System Design
ISBN: 3319359134 ISBN-13(EAN): 9783319359137
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France.

Автор: Frank Oppenheimer; Julio Luis Medina Pasaje
Название: Languages, Design Methods, and Tools for Electronic System Design
ISBN: 3319244558 ISBN-13(EAN): 9783319244556
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany.

Автор: Randall S. Janka
Название: Specification and Design Methodology for Real-Time Embedded Systems
ISBN: 1461352630 ISBN-13(EAN): 9781461352631
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.

Автор: A. Vachoux
Название: Applications of Specification and Design Languages for SoCs
ISBN: 9048172497 ISBN-13(EAN): 9789048172498
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Pierre Boulet
Название: Advances in Design and Specification Languages for SoCs
ISBN: 1489984690 ISBN-13(EAN): 9781489984692
Издательство: Springer
Рейтинг:
Цена: 27951.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: List of Figures. List of Tables. Foreword. Part I Analog and Mixed-Signal Systems. Introduction, Alain Vachoux. 1. Prediction of Conducted-Mode Emission, Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohamed Ramdani, and Jean-Luc Levant. 2. Refinement of Mixed-Signal Systems: Between HEAVEN and HELL, Christoph Grimm, Rьdiger Schroll, Klaus Waldschmidt. 3. Mixed Nets, Conversion Models, and VHDL-AMS, John Shields and Ernst Christen. 4. Monte Carlo Simulation Using VHDL-AMS, Ekkehart-Peter Wagner and Joachim Haase. 5. Practical Case Example of Inertial MEMS Modeling with VHDL-AMS, Elena Martнn, Laura Barrachina, Carles Ferrer. Acknowledgments. References. Part II UML-based System Specification and Design. Introduction, Piet van der Putten. 6. Metamodels and MDA Transformations for Embedded Systems, Lossan Bondй, Cйdric Dumoulin and Jean-Luc Dekeyser. 7. Model Based Testing and Re_nement in MDA Based Development, Ian Oliver. 8. Predictability in Real-time System Development, Jinfeng Huang, Jeroen Voeten, Oana Florescu, Piet van der Putten and Henk Corporaal. 9. Timing Performances and MDA Approaches, Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, and Franck Bernier. 10. UML-EFM, P.F. Lister, V. Trignano, M.C. Bassett and P.L. Watten. Acknowledgments. Part III C/C++-Based System Design. Introduction, Eugenio Villar. 11. Designing for dynamic partially recon_gurable FPGAs with SystemC and OSSS, Andreas Schallenberg, Frank Oppenheimer and Wolfgang Nebel. 12. Heterogeneous System-Level Specification in SystemC, Fernando Herrera, Pablo Sбnchez, Eugenio Villar. 13. The Meta-language xHDL, Miguel A. Sбnchez Marcos, Бngel Fernбndez Herrero, Marisa Lуpez-Vallejo. 14. SystemC Models for Realistic Simulations Involving RTOS Services, Prih Hastono, Stephan Klaus, and Sorin A. Huss. References. 15. System-Level Desgin for RSoC, Kari Tiensyrjд, Miroslav Cupak, Kostas Masselos, Marko Pettissalo, Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros and Yan Zhang. Acknowledgments. Part IV Invited Contributions. Introduction, Wolfgang Mьller. 16. Symbolic Model Checking and Simulation, Roland J. Weiss, Jьrgen Ruf, Thomas Kropf and Wolfgang Rosenstiel. Introduction, Christoph Grimm. 17. Automotive System Design and AutoSAR, Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm.