10585 search results - page 1664 / 2117 » The Orc Programming Language |
138
click to vote
IPPS
2006
IEEE
16 years 7 days ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
167
click to vote
SIGSOFT
2006
ACM
16 years 4 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
164
click to vote
IEEEPACT
2005
IEEE
15 years 11 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
168
click to vote
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
154
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...