Design of embedded systems: Formal models, validation, and synthesis
This paper addresses the design of reactive real-time embedded systems. Such systems are
often heterogeneous in implementation technologies and design styles, for example by …
often heterogeneous in implementation technologies and design styles, for example by …
[BUCH][B] SpecC: Specification language and methodology
For the near future, the recent predictions and roadmaps of silicon semiconductor
technology all agree that the number of transistors on a chip will keep growing exponentially …
technology all agree that the number of transistors on a chip will keep growing exponentially …
[BUCH][B] Co-synthesis of hardware and software for digital embedded systems
RK Gupta - 2012 - books.google.com
Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword
written by Giovanni De Micheli, presents techniques that are useful in building complex …
written by Giovanni De Micheli, presents techniques that are useful in building complex …
A conceptual framework for demographic groups resistant to on-line community interaction
D Andrews, J Preece, M Turoff - International Journal of Electronic …, 2002 - Taylor & Francis
Demographic communities can become on-line communities if their members have common
interests, needs, and goals, a desire for mutual communication, and can easily find one …
interests, needs, and goals, a desire for mutual communication, and can easily find one …
Hardware software partitioning using genetic algorithm
Hardware software co-design is gaining importance with the advent of CAD for embedded
systems. A key phase in such designs is partitioning the specification into hardware and …
systems. A key phase in such designs is partitioning the specification into hardware and …
Strategic framework for industrial product-service co-design: findings from the microsystems industry
C Durugbo - International Journal of Production Research, 2014 - Taylor & Francis
Co-design represents an approach to the concurrent and collaborative design of systems. In
an industrial context, firms adopt this approach to minimise risks/costs of new product …
an industrial context, firms adopt this approach to minimise risks/costs of new product …
Using artificial bees to solve partitioning and scheduling problems in codesign
Partitioning and scheduling are two central issues in the design of embedded systems since
they can widely influence the characteristics of the system under design. The numerous …
they can widely influence the characteristics of the system under design. The numerous …
[BUCH][B] The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation
S Kumar, JH Aylor, BW Johnson, WA Wulf - 2012 - books.google.com
Current practice dictates the separation of the hardware and software development paths
early in the design cycle. These paths remain independent with very little interaction …
early in the design cycle. These paths remain independent with very little interaction …
A co-synthesis approach to embedded system design automation
RK Gup, G De Micheli - Design Automation for Embedded Systems, 1996 - Springer
Embedded systems are targeted for specific applications under constraints on relative timing
of their actions. For such systems, the use of pre-designed reprogrammable components …
of their actions. For such systems, the use of pre-designed reprogrammable components …
Object-oriented techniques in hardware design
Chapter 7 and Chapter 8 illustrated a unified representation based on functional
abstractions. This chapter demonstrates that data abstractions, which form the basis for …
abstractions. This chapter demonstrates that data abstractions, which form the basis for …