680 search results - page 45 / 136 » High-Level Data Races |
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
DATE
1999
IEEE
14 years 13 days ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
AINA
2004
IEEE
13 years 12 months ago
2004
IEEE
Abstract--Generic file sharing P2P applications have gained high popularity in the past few years. In particular P2P streaming architectures have attracted attention. Some of them ...
CVPR
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we present a novel method, the first to date to our knowledge, which is capable of directly and automatically producing a concise and idealized 3D representation f...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...