Sciweavers

3686 search results - page 455 / 738
» Pattern-Based Parallel Programming
Sort
View
137
Voted
IPPS
2000
IEEE
15 years 8 months ago
An Open Market-Based Architecture for Distributed Computing
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
Spyros Lalis, Alexandros Karypidis
136
Voted
IPPS
2000
IEEE
15 years 8 months ago
Online Computation of Critical Paths for Multithreaded Languages
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
PARELEC
2000
IEEE
15 years 8 months ago
Sequential and Distributed Simulations Using Java Threads
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
Mostafa Azizi, El Mostapha Aboulhamid, Sofiè...
141
Voted
CONCUR
2000
Springer
15 years 8 months ago
Typed Mobile Objects
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
121
Voted
CONCUR
2000
Springer
15 years 8 months ago
An Implicitly-Typed Deadlock-Free Process Calculus
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
Naoki Kobayashi, Shin Saito, Eijiro Sumii