1914 search results - page 364 / 383 » Verification by Abstract Interpretation |
85
Voted
TACAS
2010
Springer
15 years 7 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...
118
Voted
PPOPP
2010
ACM
15 years 7 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 ...
104
click to vote
GLOBECOM
2009
IEEE
15 years 7 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...
105
Voted
KBSE
2009
IEEE
15 years 7 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 ...
97
Voted
CIKM
2009
Springer
15 years 7 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...