2957 search results - page 278 / 592 » Code analysis and CS-XML |
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
111
click to vote
FDTC
2007
Springer
15 years 10 months ago
2007
Springer
Branch Prediction Analysis has been recently proposed as an attack method to extract the key from software implementations of the RSA public key cryptographic algorithm. In this p...
126
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
139
click to vote
ECRTS
2004
IEEE
15 years 7 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
118
click to vote
ESANN
2008
15 years 5 months ago
2008
In this paper we apply three pattern recognition methods (support vector machine, cluster analysis and principal component analysis) to distinguish regulatory regions from coding a...