1242 search results - page 43 / 249 » Benchmark Analysis with FaCT |
157
click to vote
TGC
2010
Springer
15 years 26 days ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
123
click to vote
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
In Kernel Fisher discriminant analysis (KFDA), we carry out Fisher linear discriminant analysis in a high dimensional feature space defined implicitly by a kernel. The performance...
123
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
115
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
137
click to vote
CC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...