Sciweavers

9316 search results - page 187 / 1864
» Analysis of traceback techniques
Sort
View
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 2 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
ICPR
2004
IEEE
16 years 5 months ago
Linear Discriminant Analysis and Discriminative Log-linear Modeling
We discuss the relationship between the discriminative training of Gaussian models and the maximum entropy framework for log-linear models. Observing that linear transforms leave ...
Daniel Keysers, Hermann Ney
CCS
2003
ACM
15 years 9 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
INFORMATICALT
2011
80views more  INFORMATICALT 2011»
14 years 11 months ago
From Multiblock Partial Least Squares to Multiblock Redundancy Analysis. A Continuum Approach
For the purpose of exploring and modelling the relationships between a dataset and several datasets, multiblock Partial Least Squares is a widely-used regression technique. It is d...
Stéphanie Bougeard, Mostafa El Qannari, Cor...
DAC
2002
ACM
16 years 5 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...