1488 search results - page 28 / 298 » Measuring Semantic Coverage |
138
click to vote
HPDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
125
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
103
Voted
JSS
2010
15 years 27 days ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
107
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Information on the Web is not only abundant but also redundant. This redundancy of information has an important consequence on the relation between the recall of an information ga...
110
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...