1423 search results - page 206 / 285 » Quantum logic as a dynamic logic |
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
173
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
152
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
191
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
Obscurance and Ambient Occlusion (AO) are popular techniques in both film and games that model how ambient light is shadowed. While it is largely a solved problem for static scen...
179
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...