419 search results - page 14 / 84 » A Control-Theoretic Approach to Flow Control |
101
click to vote
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
IDA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...
ESORICS
2003
Springer
15 years 4 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
100
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
102
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...