Answers by KS

0 votes

sind diese beiden Shannon-Normalformen identisch?

answered Jan 12 in # Mandatory Modules Bachelor

0 votes

Logik DiRa SS23

answered Jan 11 in # Mandatory Modules Bachelor

0 votes

Doubt in Fourier-Motzkin algorithm

answered Jan 10 in * TF "Emb. Sys. and Rob."

0 votes

creation of the Shannon-Fano coding in the old exam 2020

answered Jan 9 in # Mandatory Modules Bachelor

0 votes

Doubt in mu-calculus

answered Jan 8 in * TF "Emb. Sys. and Rob."

0 votes

Doubt in Translation to mu-calculus

answered Jan 8 in * TF "Emb. Sys. and Rob."

0 votes

How to calculate ROBDD for a given propositional formula with this example (d|c)&(d|a)<->!(d->d)

answered Jan 7 in * TF "Emb. Sys. and Rob."

0 votes

doubt in CTL

answered Jan 6 in * TF "Emb. Sys. and Rob."

0 votes

Determinizing automata

answered Jan 4 in TUK (TU Kaiserslautern)

0 votes

Doubt in Temporal Logic

answered Jan 4 in * TF "Emb. Sys. and Rob."

0 votes

Zielonka Algorithm in Exam Aug-2023

answered Jan 4 in * TF "Emb. Sys. and Rob."

0 votes

Acceptance condition in Omega Automata

answered Jan 4 in * TF "Emb. Sys. and Rob."

0 votes

VRS Exam in Winter Semester 2023/24

answered Dec 18, 2023 in # Study-Organisation (Master)

+1 vote

Does Dynamic Scheduling wait for the next best/fast processing unit?

answered Dec 16, 2023 in * TF "Emb. Sys. and Rob."

+1 vote

Trace Scheduling

answered Nov 17, 2023 in * TF "Emb. Sys. and Rob."

0 votes

To the Runtime Analysis of Pipelined Processors in Rechnerorganisation und Systemsoftware.

answered Nov 15, 2023 in * TF "Emb. Sys. and Rob."

0 votes

Memory consistency model PRAM

answered Sep 5, 2023 in * TF "Emb. Sys. and Rob."

0 votes

Fourier Doubt

answered Aug 28, 2023 in # Study-Organisation (Master)

0 votes

Notation in exam

answered Aug 28, 2023 in * TF "Emb. Sys. and Rob."

+1 vote

omega automaton

answered Aug 27, 2023 in # Study-Organisation (Master)

Categories