7262 search results - page 46 / 1453 » Reversible Computer Hardware |
EGH
2007
Springer
15 years 4 months ago
2007
Springer
Evaluating pixel shaders consumes a growing share of the computational budget for real-time applications. However, the significant temporal coherence in visible surface regions, ...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Scaling of CMOS technologies has led to dramatic increase in sub-threshold, gate and reverse biased junction band-to-band-tunneling (BTBT) leakage. Leakage current has now beco...
ICCSA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a method for automatic removal of artifacts that appear in silhouettes extracted from polygonal meshes due to the discrete nature of meshes and numeri...
CG
2006
Springer
14 years 9 months ago
2006
Springer
In this article we propose an original reversible method for discrete surface smoothing. This method is based on a statistical estimation of the discrete tangent plane on the voxe...