5159 search results - page 201 / 1032 » Structural Testing of Executables |
190
click to vote
MEMOCODE
2003
IEEE
16 years 7 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
213
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
161
click to vote
PPL
2007
15 years 6 months ago
2007
In this paper we address the problem of accurately estimating the runtime and communication time of a client request in a Network Enabled Server (NES) middleware such as GridSolve...
145
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new method to reconstruct high resolution images from structured illumination microscopy. It consists of estimating the illumination pattern parameters...
140
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...