PDSE'97 Workshop schedule

Day 2: May 18th, 1997

08:30 - 10:25 Session 5 and 6; 15 min disc.

10:25 - 10:45 Coffee break

10:45 - 12:15 Session 7; 15 min disc.

Lunch

13:15 - 14:30 Project reports and applications - 2; 15 min disc.

14:30 - 14:50 Coffee break

14:50 - 16:20 Session 8 + 15 min disc.

16:20 - 16:30 Break

16:30 - 18:00 Panel session

Session 1: Verification

Modeling of advanced tasking in Ada-95: a Petri net perspective
R K Gedela and S M Shatz

A Petri net semantics for B(PN)^2 with procedures
H Fleischhack and B Grahlmann

Verification and analysis of parallel and distributed systems requirements specifications
K. Lateef, H H Ammar, V Mogolothu and T Nikzadeh

An efficient algorithm for finding all maximal conflict sets in concurrent programs
K Hiraishi

Session 2: Testing

Reachability testing of message-passing programs
K C Tai

Testing parallel and distributed programs with temporal logic specifications
M Frey and M Oberhuber

Session 3: Distributed software development - 1

Prototype-oriented development of high performance systems
G Ribeiro Justo, P Vekariya, T Delaitre, J Zemerly and S Winter

Making distributed applications manageable through instrumentation
M J Katchabaw, S L Howard, H L Lutfiyya, A D Marshall and M A. Bauer

The tuple channel coordination model
M Diaz, B Rubio and J M Troya

Session 4: Parallel software development

Parallel implementations of combinations of broadcast, reduction and scan
C Wedler and C Lengauer

An automated algorithmic recognition technique to support parallel software development
B Di Martino, G Iannello and H Zima

Automatic template generation for solving n**2-problems on parallel systems with arbitrary topology
P Palazzari, T Lippert and K Schilling

Session 5: Specification and design

Specifying parallel and distributed systems in Object-Z
J S Dong, L Zucconi and R Duke

Formalizing a design technique for distributed programs
M Polman, M van Steen and A de Bruin

Session 6: Reuse

Integrating library modules into special purpose parallel algorithms
T Rauber and G Ruenger

Designing reusable software components following the CSP distributed programming model
J M Mantas and A Palma

Session 7: Distributed applications development - 2

Web computing skeleton: a case study
N Serbedzija, L Botha, A Abbott and J Bishop

Tolerant (parallel) programming
D C DiNucci

A graphical programming environment for message passing programs
P Kacsuk, G Dozsa and T Fadgyas

Session 8: Task allocation and scheduling

Hierarchical optimization of parallel applications
A Mitschele-Thiel

Scheduling of parallel processing systems based on algorithmic skeletons
B Kalthoff

A hierarchic architecture model for dynamic reconfiguration
M Wermelinger

Session 1

Reusing software architectures: a formal basis

P Ciaccia, P Ciancarini and W Penzo

Non-stop monitoring and debugging on shared-memory multiprocessors
D Stewart and W M Gentleman

A performance prototyping approach to designing concurrent systems
L Hu and I Gorton

Scenario-based hypersequential programming
N Uchihira and H Kawata

Session 2

Seuss: what the doctor ordered
L Alvisi, R Joshi, C Lin and J Misra

Concurrency in object oriented languages
Z Abdelouahab and S Hammoudi

OPENPRESS - open distributed assessment platform for still image compression schemes
P Pagny and M Hohenadel

Design and implmentation of a content-based image retrieval tool
G Iannizzotto, A Puliafito and L Vita