Sciweavers

3868 search results - page 558 / 774
» A Distributed Parallel Programming Framework
Sort
View
CONCUR
2005
Springer
16 years 2 days ago
Type-Directed Concurrency
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...
Deepak Garg, Frank Pfenning
PVM
2004
Springer
15 years 12 months ago
A New MPI Implementation for Cray SHMEM
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 ...
Ron Brightwell
GCC
2003
Springer
15 years 11 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren
AADEBUG
2000
Springer
15 years 11 months ago
Execution replay and debugging
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
Michiel Ronsse, Koenraad De Bosschere, Jacques Cha...
ICDCSW
2002
IEEE
15 years 11 months ago
Real-Time Processing of Media Streams: A Case for Event-Based Interaction
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
Viktor S. Wold Eide, Frank Eliassen, Olav Lysne, O...