2344 search results - page 21 / 469 » Generating from a Deep Structure |
113
Voted
DL
2000
Springer
15 years 4 months ago
2000
Springer
To realise a wide range of applications (including digital libraries) on the Web, a more structured way of accessing the Web is required and such requirement can be facilitated by...
111
Voted
TSE
2010
14 years 10 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
100
click to vote
MTV
2005
IEEE
15 years 6 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
99
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...
DAC
1999
ACM
15 years 4 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...