Profile Activity

Pieter Verschaffelt

Network profile

Reputation

205

215
210
205

Apr
Jul
Oct
Jan

Top tag

computer-architecture

Next privilege

250 Rep.

View close votes

Badges

2

9

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

11 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

9 Questions

Views Newest Activity Votes

2

votes

1

answer

3k

views

Depth of a pipeline in a CPU's architecture

computer-architecture cpu-pipelines cpu

Apr 24 '16 at 0:29 Niklas 813

2

votes

0

answers

515

views

Time complexity of the operations on a b-tree if deletion is performed by marking nodes inactive

algorithm-analysis data-structures runtime-analysis search-trees balanced-search-trees

Jan 9 '17 at 15:42 Pieter Verschaffelt 205

0

votes

1

answer

391

views

Counterexample for LTL - CTL equivalence [closed]

linear-temporal-logic temporal-logic

Jan 27 '16 at 12:54 Shaull 14.1k

2

2

votes

1

answer

290

views

Prove the equivalence between a CFG and a Context free language

formal-languages context-free proof-techniques induction

Apr 15 '17 at 21:51 Hendrik Jan 23.4k

0

votes

2

answers

261

views

Why is recursive programming problematic for branch predictors

computer-architecture recursion cpu

Dec 27 at 22:53 gnasher729 16.4k

2

votes

1

answer

191

views

CFG for a rather complex language

context-free pushdown-automata

Mar 18 '17 at 13:49 Yuval Filmus 215k

0

votes

1

answer

146

views

Hardware thread context and register renaming

computer-architecture cpu threads

Jan 31 '18 at 12:12 Amaury Pouly 956

1

vote

1

answer

104

views

Convert non-integer decimal to octal

computer-architecture base-conversion

May 1 '16 at 16:38 Yuval Filmus 215k

0

votes

0

answers

42

views

Verification of extendible hashing proof

hashing check-my-answer

Jan 6 '17 at 13:00 Pieter Verschaffelt 205

Computer Science Stack Exchange works best with JavaScript enabled