Problem Detail: Why are instruction decoding and register read are combined in single stage of a 5-stage MIPS-pipeline, even though they serve two different operation? Asked By : Winn Answered By : GEMISIS Instruction Decode and Register Read are done in parallel on Read More …
Category: Uncategorized
[Solved]: Using a counting semaphore as a binary semaphore
Problem Detail: Are there any methods, so that I can use a counting semaphore as a binary semaphore? A binary semaphore should have two possible states: 0 and 1. The operation wait() should atomically look at the state, if the state Read More …
[Solved]: Distribute objects in a cube so that they have maximum distance between each other
Problem Detail: I’m trying to use a color camera to track multiple objects in space. Each object will have a different color and in order to be able to distinguish well between each objects I’m trying to make sure that each Read More …
[Solved]: What is the relationship between Turing Machines with a finite tape and Finite State Automata?
Problem Detail: I seem to recall from an undergraduate class that for a Turing Machine with a finite tape there will always exist a corresponding Finite State Automata, but I’ve been unable to find this confirmed anywhere on the internet. Is Read More …
[Solved]: Generate random numbers from an interval with holes
Problem Detail: Given a set $S$ of $k$ numbers in $[0, N)$. The task is to randomly generate numbers in the range $[0, N)$ such that none belongs to $S$. Edit – Also given an API to generate random numbers between Read More …
[Solved]: Complete examples of program correctness proofs
Problem Detail: Does anyone have any complete example of a proof of program correctness? I’m talking about something that includes the usual predicate, base case, inductive hypothesis, and inductive step. But also important is the loop invariant, and termination. I’m just Read More …
[Solved]: Shortest even path that goes through a vertex
Problem Detail: Given an undirected and connected graph $G=(V,E)$ and two vertices $s,t$ and a vertex $d in V- {s,t}$, we would like to define a legal path as a path from $s$ to $t$, passes through $d$ (at least once) Read More …
[Solved]: Is it impossible to truly emulate a system if its actual clock speed is the same?
Problem Detail: As I understand emulation a rule of the thumb says that a computer must be around a order of magnitude more powerful to emulate another system without resorting to tricks. This is because for every clock cycle of the Read More …
[Solved]: Error in the use of asymptotic notation
Problem Detail: I’m trying to understand what is wrong with the following proof of the following recurrence $$ T(n) = 2,T!left(leftlfloorfrac{n}{2}rightrfloorright)+n $$ $$ T(n) leq 2left(cleftlfloorfrac{n}{2}rightrfloorright)+n leq cn+n = n(c+1) =O(n) $$ The documentation says it’s wrong because of the inductive Read More …
[Solved]: Would removing the branch delay slots change the instructions set architecture?
Problem Detail: I am trying to study for an exam and I noticed a lot of the questions follow the idea of “Changing the ISA“. From my understanding the ISA dictates the structure and format of instructions, so changing instructions or Read More …
