Sciweavers

4815 search results - page 669 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
179
Voted
ASPLOS
2008
ACM
15 years 6 months ago
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
134
Voted
ATVA
2006
Springer
102views Hardware» more  ATVA 2006»
15 years 8 months ago
A Semantic Framework for Test Coverage
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
Laura Brandán Briones, Ed Brinksma, Mari&eu...
ICASSP
2009
IEEE
15 years 11 months ago
A hybrid method for deconvolution of Bernoulli-Gaussian processes
We investigate a hybrid method which improves the quality of state inference and parameter estimation in blind deconvolution of a sparse source modeled by a Bernoulli-Gaussian pro...
Sinan Yildirim, Ali Taylan Cemgil, Aysin Ertü...
RE
2005
Springer
15 years 10 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
ICIP
2008
IEEE
16 years 6 months ago
A block-based super-resolution for video sequences
An algorithm for video resolution enhancement is presented. The approach borrows from previous methods for still-image superresolution, introducing modifications better suited for...
Ryan S. Prendergast, Truong Q. Nguyen