682 search results - page 101 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
117
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
121
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
130
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve...
107
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
PVM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Previous implementations of MPICH using the Cray SHMEM interface existed for the Cray T3 series of machines, but these implementations were abandoned after the T3 series ...