10870 search results - page 1792 / 2174 » Model Checking Programs |
187
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...
235
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...
203
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
174
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
184
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...