100
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
CAV
2006
Springer
15 years 7 months ago
2006
Springer
132
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting special hardware features. Due to the irregular arc...
134
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
139
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...