Sciweavers

12272 search results - page 100 / 2455
» Experimental program analysis
Sort
View
126
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
FOGA
2011
14 years 4 months ago
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
Greg Durrett, Frank Neumann, Una-May O'Reilly
PEPM
2010
ACM
15 years 9 months ago
Context-sensitive analysis of obfuscated x86 executables
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
Arun Lakhotia, Davidson R. Boccardo, Anshuman Sing...
142
Voted
BMCBI
2010
133views more  BMCBI 2010»
15 years 28 days ago
Consolidating metabolite identifiers to enable contextual and multi-platform metabolomics data analysis
Background: Analysis of data from high-throughput experiments depends on the availability of well-structured data that describe the assayed biomolecules. Procedures for obtaining ...
Henning Redestig, Miyako Kusano, Atsushi Fukushima...