4211 search results - page 641 / 843 » Types as Abstract Interpretations |
163
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
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...
133
Voted
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
158
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
153
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In this paper, we consider the problem of multifunctional compression with side information. The problem is how we can compress a source X so that the receiver is able t...
161
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...