384 search results - page 40 / 77 » Parallel Programming Using Skeleton Functions |
140
click to vote
FORTE
2003
15 years 3 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
145
click to vote
CONCURRENCY
2010
14 years 11 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
114
click to vote
PVM
2007
Springer
15 years 8 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
142
click to vote
PDPTA
2007
15 years 3 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
112
click to vote
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...