12333 search results - page 189 / 2467 » System Level Modelling for Hardware Software Systems |
157
click to vote
ISCA
2007
IEEE
16 years 21 days ago
2007
IEEE
There are two basic models for the on-chip memory in CMP systems: hardware-managed coherent caches and software-managed streaming memory. This paper performs a direct comparison o...
160
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
287
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
164
click to vote
RECOSOC
2007
15 years 7 months ago
2007
Electronic equipments with higher performance, lower power consumption, and smaller size motivate the research for more efficient design methods. Platform-based design is a method...
174
Voted
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...