Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

0818680431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic template generation for solving n/sup 2/-problems on parallel systems with arbitrary topology

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596833 ◽

2002 ◽

Author(s):

T. Lippert ◽

P. Palazzari ◽

K. Schilling

Keyword(s):

Parallel Systems ◽

Arbitrary Topology

Download Full-text

Concurrency in object oriented language Actel

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596849 ◽

2002 ◽

Author(s):

Z. Abdelouahab ◽

S. Hammoudi

Keyword(s):

Object Oriented

Download Full-text

A methodology for verification and analysis of parallel and distributed systems requirements specifications

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596824 ◽

2002 ◽

Author(s):

K. Lateef ◽

H. Ammar ◽

V. Mogulothu ◽

T. Nikzadeh

Keyword(s):

Distributed Systems ◽

Requirements Specifications ◽

Systems Requirements

Download Full-text

A Petri net semantics for B(PN)/sup 2/ with procedures

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596823 ◽

2002 ◽

Author(s):

H. Fleischhack ◽

B. Grahlmann

Keyword(s):

Download Full-text

Testing parallel and distributed programs with temporal logic specifications

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596827 ◽

2002 ◽

Author(s):

M. Frey ◽

M. Oberhuber

Keyword(s):

Temporal Logic ◽

Distributed Programs

Download Full-text

An automated algorithmic recognition technique to support parallel software development

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596832 ◽

2002 ◽

Author(s):

B. Di Martino ◽

G. Iannello ◽

H.P. Zima

Keyword(s):

Software Development ◽

Parallel Software ◽

Parallel Software Development ◽

Recognition Technique

Download Full-text

The Tuple Channel coordination model

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596830 ◽

2002 ◽

Author(s):

M. Diaz ◽

B. Rubio ◽

J.M. Troya

Keyword(s):

Channel Coordination ◽

Coordination Model

Download Full-text

Making distributed applications manageable through instrumentation

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596829 ◽

2002 ◽

Author(s):

M.J. Katchabaw ◽

S.L. Howard ◽

H.L. Lutfiyya ◽

A.D. Marshall ◽

M.A. Bauer

Keyword(s):

Distributed Applications

Download Full-text

Scheduling of parallel processing systems based on algorithmic skeletons

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596842 ◽

2002 ◽

Author(s):

B. Kalthoff

Keyword(s):

Parallel Processing ◽

Algorithmic Skeletons

Download Full-text

Parallel implementations of combinations of broadcast, reduction and scan

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1997.596831 ◽

2002 ◽

Author(s):

C. Wedler ◽

C. Lengauer

Keyword(s):

Parallel Implementations

Download Full-text