Search: cs.utexas.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975 (cs.utexas.edu)

1 point

5 years ago

422.

A Linear-Time Majority Vote Algorithm (cs.utexas.edu)

1 point

15 years ago

423.

Does Functional Programming Really Matter? (cs.utexas.edu)

1 point

15 years ago

424.

Some Meditations on Advanced Programming (1962) (cs.utexas.edu)

1 point

6 years ago

425.

Web Search, Link Analysis, PageRank Algorithm [pdf] (cs.utexas.edu)

1 point

6 years ago

426.

Numbering should start at zero? [pdf] (cs.utexas.edu)

1 point

6 years ago

427.

On a somewhat disappointing correspondence (EWD 1009) (cs.utexas.edu)

1 point

6 years ago

428.

Where Is Russell's Paradox? (cs.utexas.edu)

1 point

6 years ago

429.

A Framework for Asynchronous Circuit Modeling and Verification in ACL2 [pdf] (cs.utexas.edu)

1 point

6 years ago

430.

Lisp Style and Efficiency (cs.utexas.edu)

1 point

15 years ago

431.

The strengths of the academic enterprise (1994) (cs.utexas.edu)

1 point

7 years ago

432.

Depot: Cloud Storage with Minimal Trust (cs.utexas.edu)

1 point

7 years ago

433.

Dijkstra: On a somewhat disappointing correspondance (1987) [pdf] (cs.utexas.edu)

1 point

7 years ago

434.

SMT Solving on an iPhone (cs.utexas.edu)

1 point

7 years ago

435.

On the cruelty of teaching computing science (1988) (cs.utexas.edu)

1 point

7 years ago

436.

Truisms (1978) (cs.utexas.edu)

1 point

7 years ago

437.

How do we tell truths that might hurt? (EWD498) (cs.utexas.edu)

1 point

7 years ago

438.

2.5D Visual Sound (vision.cs.utexas.edu)

1 point

7 years ago

439.

The next fifty years – EWD1243a (cs.utexas.edu)

1 point

7 years ago

440.

EWD1009: On a somewhat disappointing correspondence (1987) [pdf] (cs.utexas.edu)

1 point

7 years ago

441.

Mondrian Memor y Protection [pdf] (cs.utexas.edu)

1 point

7 years ago

442.

2.5D Visual Sound (vision.cs.utexas.edu)

1 point

7 years ago

443.

About polygons in Detroit (cs.utexas.edu)

1 point

8 years ago

444.

Why Software is so expensive – Dijkstra (1982) (cs.utexas.edu)

1 point

8 years ago

445.

Robust De-Anonymization of Large Sparse Datasets [pdf] (cs.utexas.edu)

1 point

8 years ago

446.

Fruits of Misunderstanding (cs.utexas.edu)

1 point

16 years ago

447.

"Why is software so expensive?" [Dijkstra] (userweb.cs.utexas.edu)

1 point

16 years ago

448.

Anthropomorphic terminology --> operational thinking [Dijkstra] (userweb.cs.utexas.edu)

1 point

16 years ago

449.

Pruning the search tree (cs.utexas.edu)

1 point

9 years ago

450.

A Constructive Approach to the Problem of Program Correctness.(1968) [pdf] (cs.utexas.edu)

1 point

9 years ago