PDSE
1998
13 years 5 months ago
1998
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
PDSE
1998
13 years 5 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
PDSE
1998
13 years 5 months ago
1998
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...
PDSE
1998
13 years 5 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
PDSE
1998
13 years 5 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
PDSE
1998
13 years 5 months ago
1998
With the ever-increasing use of object-oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a...
PDSE
1998
13 years 5 months ago
1998
PDSE
1998
13 years 5 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...