488 search results - page 79 / 98 » Using shared arrays in message-driven parallel programs |
123
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
113
Voted
ISCA
2009
IEEE
15 years 7 months ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...
90
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
107
Voted
FCCM
2008
IEEE
15 years 7 months ago
2008
IEEE
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
142
click to vote
HLPPP
1991
15 years 4 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...