185 search results - page 4 / 37 » Bounded-Curvature Path Normalization |
127
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
143
Voted
CGA
2011
14 years 4 months ago
2011
—We describe a graphics system that significantly improves the visual quality of certain types of 3D character motion animated through traditional means by inferring physical pr...
136
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— Reordered normal basis is a certain permutation of a type II optimal normal basis. In this paper, a high speed design of a word level finite field multiplier using reordered ...
103
Voted
VLSID
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper employs general multivariate normal distribution to develop a new efficient statistical timing analysis methodology. The paper presents the theoretical framework of the...
WSC
2004
15 years 2 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...