1370 search results - page 130 / 274 » Synchronization Transformations for Parallel Computing |
151
click to vote
PARLE
1991
15 years 8 months ago
1991
It is shown that the terminationdetection problem for distributed computations can be modeled as an instance of the garbage collection problem. Consequently, algorithms for the te...
148
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Database queries, in particular, event-driven continuous queries, are useful for many pervasive computing applications, such as video surveillance. In order to enable these applic...
143
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
118
click to vote
IPPS
2007
IEEE
15 years 11 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...
139
Voted
CVIU
2004
15 years 4 months ago
2004
Consider a binary image containing one or more objects. A signed distance transform assigns to each pixel (voxel, etc.), both inside and outside of any objects, the minimum distan...