7167 search results - page 1356 / 1434 » A Technique for Invariant Generation |
FPGA
2003
ACM
15 years 3 months ago
2003
ACM
FPGAs are one of the essential components in platform-based embedded systems. Such systems are customized and applied only to a limited set of applications. Also some applications...
ICDT
2003
ACM
15 years 3 months ago
2003
ACM
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
ICS
2003
Tsinghua U.
15 years 3 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
ISCA
2010
IEEE
15 years 2 months ago
2010
IEEE
Recent advances in computing have led to an explosion in the amount of data being generated. Processing the ever-growing data in a timely manner has made throughput computing an i...