124 search results - page 20 / 25 » Full Abstraction for a Shared Variable Parallel Language |
240
Voted
CCS
2005
ACM
16 years 1 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
206
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
194
Voted
HIPC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
220
Voted
ICS
2010
Tsinghua U.
16 years 8 days ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
216
Voted
CC
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...