359 search results - page 30 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
103
Voted
SE
2008
15 years 4 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
142
Voted
VIROLOGY
2010
15 years 1 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
109
Voted
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
130
Voted
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
99
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...