21984 search results - page 140 / 4397 » C |
173
click to vote
DFT
2006
IEEE
15 years 10 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...
138
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The performance of a system, especially a multiprocessor system, heavily depends upon the efficiency of its bus architecture. This paper presents a methodology to generate a custo...
144
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
137
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents techniques to tightly integrate worstcase execution time (WCET) information into a compiler framework. Currently, a tight integration of WCET information into ...
181
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...