1320 search results - page 185 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
217
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we describe a GPU parallelization of the 3D finite difference computation using CUDA. Data access redundancy is used as the metric to determine the optimal implement...
195
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
112
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
112
Voted
NIME
2004
Springer
15 years 8 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
129
Voted
POS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...