• Keine Ergebnisse gefunden

Prove or disprove correctness of the abstract version of termination detection al- gorithm from slide 156

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Prove or disprove correctness of the abstract version of termination detection al- gorithm from slide 156"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

WS 2008/2009 20.11.2008 Exercises to the Lecture FSVT

Prof. Dr. Klaus Madlener sheet 6

Exercise 18:

Do the exercise on the consumer/producer-problem from slide 144.

Exercise 19:

1. Prove or disprove correctness of the abstract version of termination detection al- gorithm from slide 156.

2. Answer the question from slide 158, whether the given DASM on the termination detection problem is a refinement of the more abstract DASM. Take the problems resolved into consideration.

Delivery: until 27.11.2008,Mo G08, Fr G10, by EMail to madlener@informatik.uni-kl.de

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 13.08 KB )

ÄHNLICHE DOKUMENTE

Distributed Termination Detection

Rule 4 Machine 0 initiiert eine neue Probe indem sie sich weiß färbt und ein weißes Token an Machine n−1 leitet.. Rule 5 Nach Weiterleiten des Tokens an Machine i wird Machine i +

Investigations into the Propagation and Termination Kinetics of the Radical Polymerization of Polar Monomers in Aqueous Solution

Termination rate coefficients of DM-PAm, M-MPAm, and PAm polymerization in aqueous solution were determined up to 2 000 bar. Termination rate coefficients in dependence on

Abstract The aim of this work is to analyse the

The red-green government of Chancellor Gerhard Schröder enforced promotion of electricity produced from renewable energy sources and the gradual restriction of

More of the Same from China

Shi Yinhong, director of the Center for American Studies at Renmin University, warns in the Financial Times: “When Hu Jintao took over [in 2002] China didn’t need to look to Russia

Investigation  of  hidden  parameters  influencing  the  automated  object  detection  in  images  from  the   deep  seafloor  of  the  HAUSGARTEN  observatory

 the  detection

Detection and characterization of the detection and characterization of the immunostimulatory properties of airborne pyrogens

The comparison of spore-induced cytokine patterns with those of LPS, LTA and the yeast extract zymosan revealed that the overall fungal immunostimulatory capacity is

The failure of the vocational educational process from the perspective of those affected. Findings from a biographical analytical study on early termination of contracts

Auf Basis dessen, dass der Beruf konstitutiv für den Alltag und die Biographie ist, handelt es sich bei einer vorzeitigen Vertragslösung nicht nur um eine Identitätskrise,

The abstract nature of the training and the modernization of the real problems of the economy: the potential of the business game in the professional development manager

производством, в органах муниципального и государственного управления связан с невысоким качеством менеджмента во всех звеньях, как на уровне