このコースについて

1,967 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
約17時間で修了
英語
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
約17時間で修了
英語

提供:

Placeholder

EIT Digital

シラバス - 本コースの学習内容

1

1

15分で修了

Introduction

15分で修了
1件のビデオ (合計5分), 1 学習用教材
1件のビデオ
1件の学習用教材
Some suggested reading material10 分
5時間で修了

Modeling systems as token consumption/production systems

5時間で修了
11件のビデオ (合計70分), 3 学習用教材, 6 個のテスト
11件のビデオ
Consumption and production of tokens5 分
Modeling an intensive care unit5 分
Modeling a wireless LAN radio4 分
Modeling and refining an industrial robot6 分
Pick your own system1 分
Classes of Petri-nets8 分
Causality, choice and concurrency (modeling patterns)9 分
Refinement of consumption/production systems8 分
Interpreting pictures for performance analysis10 分
Draw your own model3 分
3件の学習用教材
Always ask yourself...10 分
The refinement of the robot.10 分
Tooling10 分
5の練習問題
Basic modeling ideas30 分
Modeling Warehouse 1330 分
Modeling features30 分
Definition of refinement30 分
Which is a refinement of which?30 分
2

2

5時間で修了

Syntax and semantics

5時間で修了
14件のビデオ (合計103分), 5 学習用教材, 5 個のテスト
14件のビデオ
Syntax and semantics3 分
The basics9 分
Extensions4 分
Prefix orders7 分
Exercise on prefix orders7 分
Proof that flows form a prefix order14 分
Formalizing interpretations as functions8 分
Counting is order preserving6 分
Formalizing the Petri-net interpretation10 分
Proof that the number of tokens in a single-rate dataflow cycle is constant13 分
Formalizing timing6 分
Formalizing eager scheduling5 分
Formalizing periodic scheduling4 分
5件の学習用教材
Flags and Fitch style proofs10 分
Slides of the proof10 分
Slides of the proof10 分
Exercise: Formalize best-case response times10 分
About the next quiz.10 分
5の練習問題
Bipartite graphs30 分
Thinking about observation functions30 分
Isomorphism30 分
Summarize!30 分
Formalizing performance properties30 分
3

3

5時間で修了

Performance analysis

5時間で修了
20件のビデオ (合計131分), 2 学習用教材, 5 個のテスト
20件のビデオ
Throughput is bounded by 1/MCM8 分
Proof - a1 分
Proof - b9 分
Proof - c1 分
Proof - d3 分
Proof - e7 分
Proof - f4 分
Proof - g4 分
Proof - h8 分
Proof - i12 分
Proof - j8 分
The throughput bound is tight5 分
Periodic scheduling of a dataflow graph12 分
Latency analysis of a periodic schedule6 分
Latency analysis of an eager schedule9 分
The formal definition of latency5 分
The boot-up time of a dataflow graph4 分
Optimizing latency estimates w.r.t. boot-up time5 分
Buffering and backpressure5 分
2件の学習用教材
Slides of the proof10 分
Alternative proof in synchronization and linearity10 分
5の練習問題
Summarize!30 分
Calculating the MCM and worst-case throughput30 分
Calculate some periodic schedules30 分
Calculating optimal periodic schedules and their latencies30 分
Calculating suitable buffer sizes30 分
4

4

1時間で修了

One final example

1時間で修了
1件のビデオ (合計21分), 5 学習用教材
1件のビデオ
5件の学習用教材
2015 Assignment on dataflow modeling.10 分
Additional dataflow exercises10 分
Example of an exam at masters level (without solutions)10 分
Another example of an exam (with solutions)10 分
Material created by fellow students10 分

よくある質問

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。