7167 search results - page 1273 / 1434 » A Technique for Invariant Generation |
198
click to vote
ISPASS
2005
IEEE
16 years 21 days ago
2005
IEEE
Performance evaluation using only a subset of programs from a benchmark suite is commonplace in computer architecture research. This is especially true during early design space e...
234
click to vote
RTSS
2005
IEEE
16 years 21 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
193
click to vote
VISUALIZATION
2005
IEEE
16 years 20 days ago
2005
IEEE
We propose a distributed data management scheme for large data visualization that emphasizes efficient data sharing and access. To minimize data access time and support users wit...
202
Voted
SI3D
2005
ACM
16 years 20 days ago
2005
ACM
This paper presents a new technique for rendering bidirectional texture functions (BTFs) at different levels of detail (LODs). Our method first decomposes each BTF image into mul...
202
click to vote
ICS
2005
Tsinghua U.
16 years 18 days ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...