2957 search results - page 129 / 592 » Code analysis and CS-XML |
136
click to vote
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
110
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
109
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Execution time estimation of software at source-level is nowadays a crucial phase of the system design flow, especially for portable devices and real-time systems. From a source-...
113
click to vote
CC
1994
Springer
15 years 7 months ago
1994
Springer
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
127
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...