4211 search results - page 519 / 843 » Types as Abstract Interpretations |
199
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
204
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
165
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
193
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Pairwise constraints specify whether or not two samples should be in one cluster. Although it has been successful to incorporate them into traditional clustering methods, such as ...
197
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
We introduce a new approach to image reconstruction from highly incomplete data. The available data are assumed to be a small collection of spectral coef?cients of an arbitrary li...