Search: cs.utexas.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

EWD 1009: On a somewhat disappointing correspondence

5 years ago

1 points

422.

A Case against the GO TO Statement (a.k.a. GO TO Statement Considered Harmful)

15 years ago

1 points

423.

How do we tell truths that might hurt? [pdf]

5 years ago

1 points

424.

Numbering should start at zero (1982)

5 years ago

1 points

425.

EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975

5 years ago

1 points

426.

A Linear-Time Majority Vote Algorithm

15 years ago

1 points

427.

Does Functional Programming Really Matter?

15 years ago

1 points

428.

Some Meditations on Advanced Programming (1962)

6 years ago

1 points

429.

Web Search, Link Analysis, PageRank Algorithm [pdf]

6 years ago

1 points

430.

Numbering should start at zero? [pdf]

6 years ago

1 points

431.

On a somewhat disappointing correspondence (EWD 1009)

6 years ago

1 points

432.

Where Is Russell's Paradox?

6 years ago

1 points

433.

A Framework for Asynchronous Circuit Modeling and Verification in ACL2 [pdf]

6 years ago

1 points

434.

Lisp Style and Efficiency

15 years ago

1 points

435.

The strengths of the academic enterprise (1994)

7 years ago

1 points

436.

Depot: Cloud Storage with Minimal Trust

7 years ago

1 points

437.

Dijkstra: On a somewhat disappointing correspondance (1987) [pdf]

7 years ago

1 points

438.

SMT Solving on an iPhone

7 years ago

1 points

439.

On the cruelty of teaching computing science (1988)

7 years ago

1 points

440.

7 years ago

1 points

441.

How do we tell truths that might hurt? (EWD498)

7 years ago

1 points

442.

2.5D Visual Sound

vision.cs.utexas.edu

7 years ago

1 points

443.

The next fifty years – EWD1243a

7 years ago

1 points

444.

EWD1009: On a somewhat disappointing correspondence (1987) [pdf]

7 years ago

1 points

445.

Mondrian Memor y Protection [pdf]

7 years ago

1 points

446.

2.5D Visual Sound

vision.cs.utexas.edu

8 years ago

1 points

447.

About polygons in Detroit

8 years ago

1 points

448.

Why Software is so expensive – Dijkstra (1982)

8 years ago

1 points

449.

Robust De-Anonymization of Large Sparse Datasets [pdf]

8 years ago

1 points

450.

Fruits of Misunderstanding

16 years ago

1 points