254 search results - page 42 / 51 » Efficient Implementation of the Generalized Tunstall Code Ge... |
107
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
115
click to vote
SBACPAD
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
113
click to vote
MMDB
2003
ACM
15 years 3 months ago
2003
ACM
The increased use of video data sets for multimedia-based applications has created a demand for strong video database support, including efficient methods for handling the content...