35416 search results - page 188 / 7084 » Evaluation |
124
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
144
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...
170
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
160
click to vote
ITC
1995
IEEE
15 years 10 months ago
1995
IEEE
An experiment has been designed to evaluate multiple testing techniques for combinational circuits. To perform the experiment, a 25k gate CMOS Test Chip has been designed, manufac...
163
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Scientific evaluation is based for the most part on citation analysis. The phenomena of citation is not yet well studied. The use of the Contextual Exploration technique that allo...