Answers by KS

+1 vote

discrete fourier transformation

answered Aug 29, 2019 in * TF "Emb. Sys. and Rob."

+1 vote

Toom-Cook Multiplication. How many x's to use for the M-Matrix

answered Aug 29, 2019 in * TF "Emb. Sys. and Rob."

0 votes

global model checking without showing the global model checking steps, will it be acceptable?

answered Aug 23, 2019 in * TF "Emb. Sys. and Rob."

0 votes

Transformation of BDD to ZDD

answered Aug 23, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

What do we mean by Positive and Negative occurrences of weak or strong until?

answered Aug 22, 2019 in * TF "Emb. Sys. and Rob."

0 votes

Simplex Strategy

answered Aug 18, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

CTL*: Conjunction between Path and State formula

answered Aug 13, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

universal pred of a state = exist pred of a stat + deadends?

answered Aug 3, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

LTL equivalence

answered Jul 1, 2019 in * TF "Emb. Sys. and Rob."

+1 vote

Unsafe States

answered Jun 18, 2019 in * TF "Emb. Sys. and Rob."

0 votes

What is unsafe state?

answered Jun 18, 2019 in # Study-Organisation (Master)

0 votes

fixpoint of the computation of the greatest simulation and bi simulation relation between K1 and K2?

answered Jun 11, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

What are steps to compute the universal and existential successor of the following FSM symbolically?

answered Jun 10, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

Compute the state transition diagram of the given FSM

answered Jun 3, 2019 in * TF "Emb. Sys. and Rob."

0 votes

From FSM to inits and reachables in DNF

answered Jun 3, 2019 in * TF "Emb. Sys. and Rob."

+1 vote

From given FSM to state transition diagram and kripke structure

answered Jun 2, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

How to get set representation of ZDD for "Ф"

answered May 28, 2019 in * TF "Emb. Sys. and Rob."

+2 votes

Lecture slides for VRS and password to view the Lecture Videos?

answered May 18, 2019 in * TF "Emb. Sys. and Rob."

+1 vote

parrallel boolean matrix-multiplication

answered Dec 3, 2018 in * TF "Emb. Sys. and Rob."

+1 vote

Master: Persönlichkeitsentwicklung, gesellschaftlich/ethische Aspekten der Informatik

answered Oct 5, 2018 in # Study-Organisation (Master)

Categories