1403 search results - page 16 / 281 » Quantitative Interprocedural Analysis |
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
The purpose of this research is to make a quantitative analysis of Iaido (the Japanese art of using the Japanese sword) proficiency with multivariate data analysis. We carried out...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ASAP
1997
IEEE
14 years 11 days ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduced NgViz, a tool that examines DNS traffic and shows anomalies in n-gram frequencies. This is accomplished by comparing input files against a fingerprint of leg...
BMCBI
2006
13 years 8 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...