5239 search results - page 112 / 1048 » Model-Integrated Embedded Systems |
IJPP
2008
13 years 10 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...
VLSID
2003
IEEE
14 years 10 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
GLVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
Energy consumption is a major concern in embedded computing systems. Several studies have shown that cache memories account for about 40% or more of the total energy consumed in t...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...