6274 search results - page 895 / 1255 » Proofs, Programs, Processes |
158
click to vote
DATE
2009
IEEE
16 years 6 days ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
192
click to vote
INTENSIVE
2009
IEEE
16 years 2 days ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
145
click to vote
ER
2009
Springer
16 years 14 hour ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
137
click to vote
EUROPAR
2009
Springer
16 years 13 hour ago
2009
Springer
Abstract In this paper, we focus on the problem of scheduling batches of identical task graphs on a heterogeneous platform, when the task graph consists in a tree. We rely on stead...
144
click to vote
FM
2009
Springer
16 years 12 hour ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...