5830 search results - page 187 / 1166 » Automatic link generation |
140
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
In this paper, we focus on the development of a framework for automatic metadata generation. The first step towards this framework is the definition of an Application Programmer I...
128
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
122
click to vote
DDECS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...
166
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
118
Voted
FPL
2009
Springer
15 years 9 months ago
2009
Springer
Custom operators, working at custom precisions, are a key ingredient to fully exploit the FPGA flexibility advantage for high-performance computing. Unfortunately, such operators...