3690 search results - page 385 / 738 » Computation with classical sequents |
148
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. The current trend towards MPSoC platforms in most com...
201
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Recent advances in DNA sequencing techniques have led to an unprecedented accumulation and availability of molecular sequence data that needs to be analyzed. This data explosion...
212
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...
171
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
The available rendering performance on current computers increases constantly, primarily by employing parallel algorithms using the newest many-core hardware, as for example multi-...
169
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we provide a method to find global minimizers of certain non-convex 2-phase image segmentation problems. This is achieved by formulating a convex minimizat...