533 search results - page 80 / 107 » Control flow based obfuscation |
112
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
122
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
114
click to vote
VMV
2004
15 years 3 months ago
2004
We present an interactive reconstruction system based on space carving. The user controls the camera and object positions and their impact on the reconstruction is immediately dis...
90
Voted
WSC
2004
15 years 3 months ago
2004
Model coupling is a nontrivial task that is not adequately supported in existing frameworks. Our long term goal is to support the fast-prototyping of model couplings, enabling sci...