576 search results - page 74 / 116 » Model composition for scheduling analysis in platform design |
BROADNETS
2007
IEEE
14 years 3 months ago
2007
IEEE
—Grid computing aims to realize a high-performance computing environment, while increasing the usage efficiency of installed resources. This puts considerable constraints on the...
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
ICCD
2008
IEEE
14 years 6 months ago
2008
IEEE
— Extreme scaling practices in silicon technology are quickly leading to integrated circuit components with limited reliability, where phenomena such as early-transistor failures...
ECBS
2003
IEEE
14 years 2 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...