Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

972 questions

1.1k answers

1.5k comments

469 users

Most popular tags

vrs vrs_exam vrs_exercise ltl exam ctl dira rosy omega_automata parallel_computing mbes ltl_model_checking processor_architecture se1 automata lo2 bdd sequent-calculus zielonka mu-calculus studiengang_reform local-model-checking zdd2fdd exists-algorithm simplex greatest-simulation equivalance kripke tool studiengangswechsel vrs_lecture snf induction bdd2zdd zdd curriculum_change predicate_logic cmd floating_point_arithmetic constrain-algorithm compose-algorithm #parallel_computing minic i2sc format temporal curriculum_update fdd2zdd vrs_cheatsheet ctl_model_checking hrs infinite_path branch-bound dynamic_scheduling pre-requisite thesis functional state-machine uml-diagram embedded-system ml1 registration pipeline_conflicts vector_computers modulo_scheduling static_scheduling organisation b_complement_multiplication lo1 conditional bdd2fdd #pram restrict ite programming abacus parallel forall breakpoint acceptance simulation shannon important fdd group master_plan bachelor study rhrk

Categories

Ask a question:

Recent questions tagged rosy

0 votes
1 answer
2017 exam ex. 1/pipelining
asked Mar 26, 2021 in # Study-Organisation (Bachelor) by kremenadla (380 points)
0 votes
1 answer
Pipeline conflicts stalls more than 1 EX
asked Mar 25, 2021 in * TF "Emb. Sys. and Rob." by ballatma (1.2k points)
0 votes
1 answer
Datenkonflikte | dataconflicts
asked Mar 25, 2021 in * TF "Emb. Sys. and Rob." by David (550 points)
0 votes
1 answer
Action table SLR(0) parser
asked Mar 25, 2021 in * TF "Emb. Sys. and Rob." by ballatma (1.2k points)
0 votes
1 answer
CPI Werte für Befehlstypen
asked Mar 23, 2021 in * TF "Emb. Sys. and Rob." by ayitikpo (150 points)
0 votes
1 answer
Eine Frage zum Übungsblatt6 Aufgabe 2b)
asked Mar 23, 2021 in * TF "Emb. Sys. and Rob." by muffin (200 points)
0 votes
1 answer
rosy Sheet 4 ex. 2
asked Mar 23, 2021 in # Mandatory Modules Bachelor by kremenadla (380 points)
0 votes
1 answer
Load/store Addressing
asked Mar 23, 2021 in * TF "Emb. Sys. and Rob." by ayitikpo (150 points)
0 votes
1 answer
Abacus cache: set adress size
asked Mar 22, 2021 in * TF "Emb. Sys. and Rob." by ballatma (1.2k points)
0 votes
1 answer
Pipeline conflicts
asked Mar 17, 2021 in * TF "Emb. Sys. and Rob." by ballatma (1.2k points)
0 votes
1 answer
Is the MIPS instruction set important for exam?
asked Feb 22, 2021 in * TF "Emb. Sys. and Rob." by nickjo (1.1k points)
0 votes
1 answer
read- and write-sets
asked Jan 17, 2021 in * TF "Emb. Sys. and Rob." by ballatma (1.2k points)
0 votes
1 answer
What exactly is a writback?
asked Dec 11, 2020 in * TF "Emb. Sys. and Rob." by nickjo (1.1k points)
Page:
 | Snow Theme by Q2A Market
Powered by Question2Answer
Imprint | Privacy Policy
...