12264 search results - page 389 / 2453 » An Analysis of the XSL Algorithm |
152
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
166
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
152
Voted
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
Variability in process parameters is making accurate timing analysis of nano-scale integrated circuits an extremely challenging task. In this paper, we propose a new algorithm for...
153
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
168
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
In this paper, we propose an adaptive 3D-DCT compression technique, which dynamically determines an optimal size of the video cube based on the motion analysis. The technique cons...