647 search results - page 38 / 130 » Implementation of MAP: A system for mobile assistant program... |
139
click to vote
MICRO
2009
IEEE
16 years 18 days ago
2009
IEEE
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...
194
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
182
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...
176
click to vote
MBEES
2010
15 years 7 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
262
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...