2957 search results - page 372 / 592 » Code analysis and CS-XML |
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
165
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
124
click to vote
BIOINFORMATICS
2005
15 years 4 months ago
2005
In genomic studies, thousands of features are collected on relatively few samples. One of the goals of these studies is to build classifiers to predict the outcome of future obser...
144
Voted
TWC
2008
15 years 4 months ago
2008
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...
192
click to vote
IDA
2010
Springer
15 years 3 months ago
2010
Springer
Data-driven knowledge discovery is becoming a new trend in various scientific fields. In light of this, the goal of the present paper is to introduce a novel framework to study one...