6960 search results - page 943 / 1392 » Continuity Analysis of Programs |
183
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
160
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
173
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
By the early 1990s the need for reengineering legacy systems was already acute, but recently the demand has increased significantly with the shift toward web-based user interfaces...
175
click to vote
ISCA
1991
IEEE
15 years 9 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
161
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...