3342 search results - page 620 / 669 » Automating Abstract Interpretation |
139
Voted
PPOPP
2010
ACM
15 years 9 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 ...
132
click to vote
GLOBECOM
2009
IEEE
15 years 9 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...
130
Voted
KBSE
2009
IEEE
15 years 9 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 ...
115
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
122
Voted
DFG
2009
Springer
15 years 9 months ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...