245 search results - page 33 / 49 » Code Generation for Streaming: An Access Execute Mechanism |
92
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
104
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
132
click to vote
DFT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
76
Voted
HPCA
2005
IEEE
16 years 23 days ago
2005
IEEE
Due to increasing power densities, both on-chip average and peak temperatures are fast becoming a serious bottleneck in processor design. This is due to the cost of removing the h...