3113 search results - page 43 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
CSCWD
2009
Springer
15 years 4 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
ICCAD
1991
IEEE
15 years 1 months ago
1991
IEEE
In a high level synthesis environment there is a strong need for flexible module generators. For the generation of regular structures efficient dedicated module generators can be ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Dynamic web applications such as mashups need efficient access to web data that is only accessible via entity search engines (e.g. product or publication search engines). However,...
CORR
1998
Springer
14 years 9 months ago
1998
Springer
In order to support the efficient development of NL generation systems, two orthogonal •methods are currently pursued with emphasis: (i) reusable, general, and linguistically•...
112
click to vote
ICCAD
1991
IEEE
15 years 1 months ago
1991
IEEE
This paper presents an efficient algorithm for the generation of diagnostic test patterns which distinguish between two arbitrary single stuck-at faults. The algorithm is able to ...