Inicio > Tecnología, ingeniería, agricultura > Tecnología: cuestiones generales > Embedded Systems Design Based on Formal Models of Computation
Embedded Systems Design Based on Formal Models of Computation

Embedded Systems Design Based on Formal Models of Computation

Ivan Radojevic / Zoran Salcic

194,48 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2011
Materia
Tecnología: cuestiones generales
ISBN:
9789400715936

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

1. Introduction.- 2. Models of Computation and Languages.- 3. Specification in DFCharts.- 4. Semantics of DFCharts.- 5. DFCharts in SystemC and Esterel.- 6. Java Environment for DFCharts.- 7. Heterogeneous Reactive Architectures of Embedded Systems.- 8. Implementation of DFCharts on HiDRA.- 9. Conclusions.- 10. References.

Artículos relacionados

  • Science and the Big Issues of Our Time
    Martin Gellender
    Within the last few generations, our world has been shaped by technological change enabled by scientific advances. This is particularly evident to the 'baby boomer' generation, who have lived through and witnessed huge changes in society over the course of their lifetimes. Although many have little education in science, or have forgotten what they learned in high school, they u...
    Disponible

    26,58 €

  • Statics+++
    James W Dally / Robert J Bonenberger
    This textbook has been prepared to support a course offering for Statics at the University of Nevada at Reno.  Statics provides the first exposure of engineering students to the study of mechanics.  While Statics is a relatively simple subject, many students find it difficult, and they often perform far below our expectations.  In an effort to improve the curriculum, several me...
    Disponible

    101,22 €

  • Technical Writing, Presentational Skills, and Online Communication
    Raymond Greenlaw
    This book addresses four main topics: professional ethics, technical writing, presentation skills, and online writing. These topics are woven throughout the book and some of them are the main subjects of one or more chapters. The overarching theme of this book is to provide well-tested, best-practice techniques and strategies for main topic areas while focusing on information t...
  • Project Management Techniques and Innovations in Information Technology
    John Wang
    Managing cost, time, and quality of a project can be a challenging task for any project manager, but especially in times of an ever-changing and burgeoning field of IT. Project Management Techniques and Innovations in Information Technology offers a vital compendium of the latest research, case studies, best practices, and methodologies within the field of IT project management...
  • Phenomenology, Organizational Politics, and IT Design
    Information systems are researched, published on, and utilized as an extremely broad and vital sector of current technology development, usually studied from the scientific or technological viewpoints therein. Phenomenology, Organizational Politics, and IT Design: The Social Study of Information Systems offers a new look at the latest research and critical issues within the fie...
  • Geotechnical Applications for Earthquake Engineering
    Disaster preparedness and response management is a burgeoning field of technological research, and staying abreast of the latest developments within the field is a difficult task. Geotechnical Applications for Earthquake Engineering: Research Advancements has collected chapters from experts from around the world in a variety of applications, frameworks, and methodologies, and p...

Otros libros del autor

  • Embedded Systems Design Based on Formal Models of Computation
    Ivan Radojevic / Zoran Salcic
    'Models of Computation for Heterogeneous Embedded Systems' presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three opera...
    Disponible

    133,13 €