5481 search results - page 247 / 1097 » Application Analysis for Parallel Processing |
200
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
186
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Digital image processing and analysis can be an important tool for the restoration of works of art. This paper presents three applications of image processing in this field: a met...
175
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
141
click to vote
AVI
2004
15 years 8 months ago
2004
Many applications require comparison between alternative scenarios; most support it poorly. A subjunctive interface supports comparison through its facilities for parallel setup, ...
114
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper describes the VIPS image processing library and user-interface. VIPS is used in many museums and galleries in Europe, America and Australia for image capture, analysis a...