Skip to main content
Imago's user avatar
Imago's user avatar
Imago's user avatar
Imago
  • Member for 9 years, 3 months
  • Last seen more than a month ago
13 votes
2 answers
2k views

Proving tautology with coq

6 votes
1 answer
1k views

What is a unifier?

4 votes
3 answers
771 views

Why are there only NOR and NAND flashes?

3 votes
1 answer
184 views

Exercise about First-order logic

3 votes
1 answer
2k views

What is random logic? Why is it needed?

2 votes
0 answers
98 views

Construct skolemform of: $\forall X.((\forall Y.\exists Z. R(X,Y,Z)) \land \forall S. \exists T. R(X, S,T))$

2 votes
0 answers
46 views

How can one flip a stream using corecursion

1 vote
1 answer
5k views

What is "time-slice multi-threading"?

1 vote
0 answers
231 views

How are micro commands processed?

1 vote
1 answer
3k views

What are advantages / disadvantages of horizontal and vertical microprograms?

0 votes
1 answer
44 views

Two addresses point to the same data - is the data then stored 2 times in the cache?

0 votes
0 answers
34 views

Do add commands in an pipeline wait for each other's result?

0 votes
0 answers
102 views

Can the cache always miss while trying to write to the cache?

0 votes
0 answers
18 views

List of metrics for dates