1370 search results - page 133 / 274 » Synchronization Transformations for Parallel Computing |
110
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
116
Voted
CC
2000
Springer
15 years 7 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
101
click to vote
ICIP
1995
IEEE
16 years 4 months ago
1995
IEEE
Modern video applications call for computationally intensive data processing at very high data rate. In order to meet the high-performance/low-cost constraints, the stateof-the-ar...
218
Voted
SPAA
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...
137
Voted
MST
2002
15 years 2 months ago
2002
External sorting--the process of sorting a file that is too large to fit into the computer's internal memory and must be stored externally on disks--is a fundamental subroutin...