Yazar
Louërat, Marie-Minerve. editor.
Format:
Electronic Resources
Alıntı:
verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems
Yazar
Castrillón Mazo, Jerónimo. author.
Format:
Electronic Resources
Alıntı:
Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap / Castrillón
View Other Search Results
Yazar
Torquati, Massimo. editor.
Format:
Electronic Resources
Alıntı:
programmers developing software to implement parallel applications in embedded systems, where very often they
Yazar
Fummi, Franco. editor.
Format:
Electronic Resources
Alıntı:
-- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence
Yazar
Drechsler, Rolf. editor.
Format:
Electronic Resources
Alıntı:
, practical experiences and new ideas in the application of specification, design and verification languages
Yazar
Koch, Dirk. editor.
Format:
Electronic Resources
Alıntı:
FPGAs for Software Programmers Koch, Dirk. editor.
Yazar
Haase, Jan. editor.
Format:
Electronic Resources
Alıntı:
research results, practical experiences and new ideas in the application of specification, design and
Yazar
Paul, Somnath. author.
Format:
Electronic Resources
Alıntı:
-- MAHA Hardware Architecture -- Part IV Software Framework -- Application Analysis -- Application Mapping
Yazar
Jiménez, Manuel. author.
Format:
Electronic Resources
Alıntı:
software components in a single application, the book also introduces the subjects of data representation
Yazar
Marwedel, Peter. author.
Format:
Electronic Resources
Alıntı:
presents the essentials of system software for embedded systems, including real-time operating systems. The
Yazar
Molnos, Anca. editor.
Format:
Electronic Resources
Alıntı:
-- Throughput-Driven Parallel Embedded Software Synthesis from Synchronous Data-flow Models: Caveats and Remedies
Yazar
Atienza Alonso, David. author.
Format:
Electronic Resources
Alıntı:
application-specific data access and storage behaviors. · Provides a systematic and reusable methodology for
Arama Sonuçlarını Sınırlandır
Daraltılmış: