4305 search results - page 467 / 861 » The Test of Time |
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
184
click to vote
ECP
1999
Springer
15 years 11 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
193
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
168
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
199
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...