QMIPS Deliverables
This document lists the deliverables of the project, as described in the technical annex of the project (dated Apr. 15, 1992).
The deliverables are listed according to the workpackage to which they belong:WP1, WP2 and WP3.
There are also extra reports, added to
the deliverables, or contributed outside deliverables.
-
D1:
-
State-of-the-art on model classification (proceedings of the workshop on ``Formalisms'') (WP1 T0
; RP, P; All partners involved, resp. UER
).
-
D2a:
-
Interleaving semantics for timed process algebras: motivation and semantics models (WP1 T1
; RP, A, P; IMP, UER
).
-
D2b:
-
Integral specification of functional properties and performace evaluation by timed process algebra (WP1 T1
; RP, A, P; IMP, UER
).
-
D3:
-
Timed and stochastic temporal logic models
(WP1 T1; R; IMP, UER).
-
D4:
-
Characteristic equations for the different modelling techniques (WP1 T2
; RP, P; INR, UER, UTO+Z
).
-
D5:
-
Analysis of 2-dimensional Markov chains and random walks (WP2 T1
; RP, P; CWI
, UNE).
-
D6:
-
State-of-the-art in the theory and applications of queueing networks with negative and positive customers (WP2
T1
; RP, P; EHE
, IMP).
-
D7:
-
A solver of queueing networks with negative and positive customers (WP2 T1
; RP, A, S, P; EHE
).
-
D8:
-
Parallel evaluation of large-scale models (WP2 T1
; RP, A, P; INR, UNE
, UTO+Z).
-
D9:
-
Approximation techniques based on fixed-point approximations(WP2 T1
; RP, P; EHE, IMP, UNE
).
-
D10:
-
Performance of interconnection networks for parallel systems(WP2 T1
; RP, P; IMP
).
-
D11:
-
Distribution of transmission times in queueing networks(WP2 T1
; RP, P; CWI, IMP
).
-
D12:
-
Bounds for networks(WP2 T1-T2
; RP, A, P; INR
, UTO+Z).
-
D13:
-
Markovian analysis of symmetric CGSPNs (WP2 T2
; RP, A, P; UTO+Z
).
-
D14:
-
Approximation techniques in stochastic Petri nets(WP2 T2
; RP, P; INR
, UTO+Z).
-
D16a:
-
Distributed and parallel simulation of networks(WP2 T3
; R, A, S, P; INR
, UNE, UTO+Z).
-
D16b:
-
Distributed and parallel simulation of
networks, II (WP2 T3 ; R, A, S, P; INR , UNE, UTO+Z).
-
D17:
-
Task graph parametrisation(WP3 T1
; RP, A, P; EHE
, IMP).
-
D18:
-
State-of-the-art and advances in load
balancing (WP3 T2; RP, P; CWI, EHE, INR).
-
D19:
-
Communication in parallel and distributed systems (WP3 T2-T3
; RP, P; CWI, INR
).
-
D20:
-
Scheduling issues (WP3 T2
; RP, P; ALL Partners
). Deliverable D20 will be the proceedings of the workshop on ``Scheduling Issues'' (resp. IMP
).
-
D22:
-
Performance engineering for parallel computation (WP3 T3
; RP, P; ALL Partners
).
-
D23:
-
The Extra Deliverable: additional reports
for deliverables D5, D6 and D14.
Other Reports
Additional Reports contributed
oustide formal deliverables.
Web page by
Alain Jean-Marie
(Alain.Jean-Marie@inria.fr)
Last Modified: 27 October 1995.