359 search results - page 30 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
SE
2008
13 years 10 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...
VIROLOGY
2010
13 years 7 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...
HPCC
2005
Springer
14 years 2 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 ...
CAV
2000
Springer
14 years 9 days 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...
IPPS
2006
IEEE
14 years 2 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...