1993 search results - page 256 / 399 » Designing and Building Parallel Program |
120
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
124
click to vote
COCOA
2007
Springer
15 years 8 months ago
2007
Springer
The Two-Sided Crossing Minimization (TSCM) problem calls for minimizing the number of edge crossings of a bipartite graph where the two sets of vertices are drawn on two parallel l...
116
click to vote
CONCUR
2005
Springer
15 years 8 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...
81
Voted
PVM
2004
Springer
15 years 7 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 ...
124
click to vote
ECOOP
2003
Springer
15 years 7 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...