4075 search results - page 117 / 815 » Modeling Distributed Algorithm Using B |
106
click to vote
ICPP
2005
IEEE
15 years 6 months ago
2005
IEEE
We show how a series of transformations can be applied to a sequential program to obtain programs that represent successive steps in exploiting parallelism in the original algorit...
84
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper explores the correlation of instruction counts and cache misses to runtime performance for a large family of divide and conquer algorithms to compute the Walsh–Hadama...
93
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Delivery of 3D immersive entertainment to the home remains a highly challenging problem due to the large amount of data involved, and the need to support a wide variety of differe...
89
Voted
MM
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we present novel algorithms for computing scenes and within-scene structures in films. We begin by mapping insights from film-making rules and experimental results f...
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...