6239 search results - page 373 / 1248 » From Zinc to Design Model |
201
click to vote
IJON
2007
15 years 7 months ago
2007
It has been unclear whether optimal experimental design accounts of data selection may offer insight into evidence acquisition tasks in which the learner’s beliefs change greatl...
188
Voted
DAC
2009
ACM
16 years 8 days ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
167
Voted
DAC
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we compare embedded-DRAM (eDRAM) testing to both SRAM testing and commodity-DRAM testing, since an eDRAM macro uses DRAM cells with an SRAM interface. We first star...
169
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
190
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...