PDSE
1998
14 years 26 days 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
14 years 26 days 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
14 years 26 days 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
14 years 26 days 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
14 years 26 days 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
14 years 26 days 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
14 years 26 days ago
1998
PDSE
1998
14 years 26 days 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 ...