In this paper a novel computation model based on fine-grained objects and asynchronous procedure invocation is presented. Based on a set of only a few basic definitions it can be used to write well structured programs as well as exploit a large degree of potential parallelism. Yet the model is strong enough to express complicated subjects such as active objects and coordination patterns. By incorporating controlflow as one of its basic mechanisms it offers an abstraction well-known in sequential programming and is best suited to express iterative algorithmic primitives. The uniform semantics of object interaction by asynchronous reference-returning procedure calls leads to a dataflow-oriented programming style even outside the field of func...
Data-parallelism is a widely used model for parallel programming. Control structures like parallel D...
Abstract. This paper introduces a compositional Hoare logics for rea-soning about he correctness ofs...
This paper describes about Data Flow Computers. The dataflow model of computation offers an attracti...
Here we describe an object-oriented language based on fine-grained parallelism. This language, calle...
Current parallel programming languages support only a narrow range of programming styles; force prog...
Parallelism in object-oriented systems is discussed. The most appealing way to insert parallelism in...
This extended abstract introduces and evaluates a new model of parallel computation, called the Para...
Abstract. We have developed a programming model that integrates concurrency with object-based progra...
Object-based sequential programming has had a major impact on software engineering. However, object-...
We propose a massively parallel programming language, called "V," which would minimize the...
This thesis develops a computational model, a programming notation, and a set of programming princip...
The term "dataflow" generally encompasses three distinct aspects of computation - a data-driven mode...
Synchronization of concurrent activities is a major issue of concurrent object-oriented programming ...
International audience[Excerpt from the introduction] The spreading of Distributed Memory Parallel C...
This thesis presents a mechanism that will provide a semantic and syntactic environment for expressi...
Data-parallelism is a widely used model for parallel programming. Control structures like parallel D...
Abstract. This paper introduces a compositional Hoare logics for rea-soning about he correctness ofs...
This paper describes about Data Flow Computers. The dataflow model of computation offers an attracti...
Here we describe an object-oriented language based on fine-grained parallelism. This language, calle...
Current parallel programming languages support only a narrow range of programming styles; force prog...
Parallelism in object-oriented systems is discussed. The most appealing way to insert parallelism in...
This extended abstract introduces and evaluates a new model of parallel computation, called the Para...
Abstract. We have developed a programming model that integrates concurrency with object-based progra...
Object-based sequential programming has had a major impact on software engineering. However, object-...
We propose a massively parallel programming language, called "V," which would minimize the...
This thesis develops a computational model, a programming notation, and a set of programming princip...
The term "dataflow" generally encompasses three distinct aspects of computation - a data-driven mode...
Synchronization of concurrent activities is a major issue of concurrent object-oriented programming ...
International audience[Excerpt from the introduction] The spreading of Distributed Memory Parallel C...
This thesis presents a mechanism that will provide a semantic and syntactic environment for expressi...
Data-parallelism is a widely used model for parallel programming. Control structures like parallel D...
Abstract. This paper introduces a compositional Hoare logics for rea-soning about he correctness ofs...
This paper describes about Data Flow Computers. The dataflow model of computation offers an attracti...