Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009 /

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009 /

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeli...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Borrione, Dominique (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Σειρά:	Lecture Notes in Electrical Engineering, 63
Θέματα:	Engineering. Programming languages (Electronic computers). Electronic circuits. Circuits and Systems. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Advances in Design Methods from Modeling Languages for Embedded Systems and SoCβs Selected Contributions on Specification, Design, and Verification from FDL 2009
ανά: Borrione, Dominique
Έκδοση: (2010)

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

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

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute /
ανά: Williams, John
Έκδοση: (2008)

Exploring C for Microcontrollers A Hands on Approach /
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2007)

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
ανά: Boulé, Marc, κ.ά.
Έκδοση: (2008)

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications /
Έκδοση: (2010)

Optimized ASIP Synthesis from Architecture Description Language Models
ανά: Schliebusch, Oliver, κ.ά.
Έκδοση: (2007)

Verilog: Frequently Asked Questions Language, Applications and Extensions /
ανά: Chonnad, Shivakumar, κ.ά.
Έκδοση: (2004)

Hardware Verification with C++ A Practitioner’s Handbook /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

Real-Time Object Uniform Design Methodology with UML
Έκδοση: (2007)

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ανά: Lokuciejewski, Paul, κ.ά.
Έκδοση: (2011)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

A Practical Introduction to PSL
ανά: Eisner, Cindy, κ.ά.
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

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

System Level Design of Reconfigurable Systems-on-Chip
Έκδοση: (2005)

Embedded Software for SoC
Έκδοση: (2003)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Fundamentals of IP and SoC Security Design, Verification, and Debug /
Έκδοση: (2017)

SystemC Methodologies and Applications /
Έκδοση: (2003)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /
Έκδοση: (2006)

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

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

Correct-by-Construction Approaches for SoC Design
ανά: Sinha, Roopak, κ.ά.
Έκδοση: (2014)

Practical C++ Design From Programming to Architecture /
ανά: Singer, Adam B.
Έκδοση: (2017)

Advanced Metaprogramming in Classic C++
ανά: Gennaro, Davide Di
Έκδοση: (2015)

Objective-C Programmer’s Reference
ανά: Oliveira, Carlos
Έκδοση: (2013)

Migrating from Drupal to Backdrop
ανά: Tomlinson, Todd
Έκδοση: (2015)

Practical C
ανά: Zambon, Giulio
Έκδοση: (2016)

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

Migrating to Swift from Web Development
ανά: Liao, Sean, κ.ά.
Έκδοση: (2015)

Sudoku Programming with C
ανά: Zambon, Giulio
Έκδοση: (2015)

C# and XML Primer
ανά: Hartwell, Jonathan
Έκδοση: (2017)

C Recipes A Problem-Solution Approach /
ανά: Chavan, Shirish
Έκδοση: (2017)

Frequency References, Power Management for SoC, and Smart Wireless Interfaces Advances in Analog Circuit Design 2013 /
Έκδοση: (2014)

Introduction to Compiler Design
ανά: Mogensen, Torben Ægidius
Έκδοση: (2011)

Introduction to Compiler Design
ανά: Mogensen, Torben Ægidius
Έκδοση: (2017)

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