9626 search results - page 1545 / 1926 » Invariant Based Programming |
180
click to vote
LCTRTS
2007
Springer
16 years 28 days ago
2007
Springer
Existing methods place data or code in scratchpad memory, i.e., SPM by either relying on heuristics or resorting to integer programming or mapping it to a graph coloring problem. ...
186
click to vote
FCCM
2006
IEEE
16 years 25 days ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
174
click to vote
ISPASS
2006
IEEE
16 years 24 days ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
172
click to vote
MICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
204
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...