1370 search results - page 130 / 274 » Synchronization Transformations for Parallel Computing |
130
Voted
PARLE
1991
15 years 6 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...
126
Voted
ICDCS
2005
IEEE
15 years 8 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...
118
Voted
IPPS
1998
IEEE
15 years 7 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...
97
Voted
IPPS
2007
IEEE
15 years 9 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...
115
Voted
CVIU
2004
15 years 2 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...