2850 search results - page 35 / 570 » On Timed Models and Full Abstraction |
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
153
click to vote
QEST
2009
IEEE
16 years 23 days ago
2009
IEEE
—Disk drives are a common performance bottleneck in modern storage systems. To alleviate this, disk manufacturers employ a variety of I/O request scheduling strategies which aim ...
128
click to vote
AIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
140
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper develops a model for tightness time, linkage learning time for a single building block, in the linkage learning genetic algorithm (LLGA). First, the existing m...
147
click to vote
CAINE
2007
15 years 7 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...