Wandering Logic's user avatar
Wandering Logic's user avatar
Wandering Logic's user avatar
Wandering Logic
  • Member for 11 years
  • Last seen more than a week ago
18 votes
3 answers
3k views

What guarantees do "soft" real-time operating systems actually provide

14 votes
3 answers
264 views

Complexity of the Kitten Adoption problem

11 votes
0 answers
182 views

(Slightly) faster simulation of quantum Fourier transform

10 votes
1 answer
323 views

Can the end-to-end principle be formalized?

10 votes
3 answers
1k views

Equivalence of data-flow analysis, abstract interpretation and type inference?

4 votes
2 answers
416 views

In-place "clumping-by-color" algorithm faster than sorting by color?

4 votes
2 answers
187 views

Incorporating newline-as-statement-terminator heuristics into context-free languages

2 votes
0 answers
43 views

How can I talk about priority inversion if it's impossible to specify priority?

1 vote
0 answers
24 views

tight lower bounds of parallel machine scheduling with gang scheduling constraint