Sciweavers

12264 search results - page 440 / 2453
» An Analysis of the XSL Algorithm
Sort
View
ISQED
2003
IEEE
104views Hardware» more  ISQED 2003»
16 years 4 days ago
Elimination of false aggressors using the functional relationship for full-chip crosstalk analysis
As the portion of coupling capacitance increases in smaller process geometries, accurate coupled noise analysis is becoming more important in current design methodologies. We prop...
Jae-Seok Yang, Jeong-Yeol Kim, Joon-Ho Choi, Moon-...
AAECC
2003
Springer
116views Algorithms» more  AAECC 2003»
16 years 3 days ago
The Jacobi Model of an Elliptic Curve and Side-Channel Analysis
Abstract. A way for preventing SPA-like attacks on elliptic curve systems is to use the same formula for the doubling and the general addition of points on the curve. Various propo...
Olivier Billet, Marc Joye
GW
2003
Springer
146views Biometrics» more  GW 2003»
16 years 2 days ago
Analysis of Expressive Gesture: The EyesWeb Expressive Gesture Processing Library
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
Antonio Camurri, Barbara Mazzarino, Gualtiero Volp...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 11 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
192
Voted
PLDI
1993
ACM
15 years 11 months ago
Dependence-Based Program Analysis
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
Richard Johnson, Keshav Pingali