Sciweavers

3441 search results - page 390 / 689
» Parallel Logic Programming Systems
Sort
View
ICS
2004
Tsinghua U.
15 years 9 months ago
EXPERT: expedited simulation exploiting program behavior repetition
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
Wei Liu, Michael C. Huang
ECOOP
2003
Springer
15 years 9 months ago
A Nominal Theory of Objects with Dependent Types
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...
Martin Odersky, Vincent Cremet, Christine Röc...
HPCN
2000
Springer
15 years 8 months ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab
FTDCS
2004
IEEE
15 years 8 months ago
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
Tianying Chang, Mustaque Ahamad
IPPS
1999
IEEE
15 years 8 months ago
MPIJAVA: An Object-Oriented JAVA Interface to MPI
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
Mark Baker, Bryan Carpenter, Geoffrey Fox, Sung Ho...