6800 search results - page 295 / 1360 » Testing with Functions as Specifications |
163
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we give an overview of the trade-off to improve yield and optimize silicon manufacturing cost. The specific technology focus is on large embedded memories in comple...
151
click to vote
SCSC
2007
15 years 8 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
312
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
203
click to vote
ECML
1997
Springer
15 years 11 months ago
1997
Springer
In learning from examples it is often useful to expand an attribute-vector representation by intermediate concepts. The usual advantage of such structuring of the learning problemi...
180
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...