12272 search results - page 2022 / 2455 » Experimental program analysis |
180
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a on-chip stack based memory organization that effectively reduces the energy dissipation in programmable embedded system architectures. Most embedded systems ...
196
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
141
click to vote
DSN
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
159
Voted
GLVLSI
2003
IEEE
16 years 4 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
144
click to vote
HAPTICS
2003
IEEE
16 years 4 days ago
2003
IEEE
Cobots assist humans by mechanically guiding motion along software-defined paths or surfaces. Cobot design has been extensively studied previously. This paper reports the first sy...