Network profile

Pieter Verschaffelt

Reputation

195

231
199
167

2018
2019
2020
2021

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

9 Questions

Votes Activity Newest Views

2

votes

1

answer

4k

views

Depth of a pipeline in a CPU's architecture

computer-architecture cpu-pipelines cpu

Apr 24 '16 at 0:29 Niklas R. 955

1

vote

0

answers

690

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 195

0

votes

1

answer

483

views

Counterexample for LTL - CTL equivalence [closed]

linear-temporal-logic temporal-logic

Jan 27 '16 at 12:54 Shaull 15.2k

0

votes

2

answers

404

views

Why is recursive programming problematic for branch predictors

computer-architecture recursion cpu

Dec 27 '19 at 22:53 gnasher729 21.6k

2

2

votes

1

answer

365

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 24.7k

2

votes

1

answer

295

views

CFG for a rather complex language

context-free pushdown-automata

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

0

votes

1

answer

198

views

Hardware thread context and register renaming

computer-architecture cpu threads

Jan 31 '18 at 12:12 Amaury Pouly 1,076

1

vote

1

answer

144

views

Convert non-integer decimal to octal

computer-architecture base-conversion

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

0

votes

0

answers

44

views

Verification of extendible hashing proof

hashing check-my-answer

Jan 6 '17 at 13:00 Pieter Verschaffelt 195

Computer Science Stack Exchange works best with JavaScript enabled