University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

University of Texas at Austin.

University of Texas at Austin.

Manuscripts of Edsger W. Dijkstra, a collection of over 1, 300 written works, famously known as EWDs. Also, In Pursuit of Simplicity symposium. Format: PDF.

By Inderjit S. Dhillon, Subramanyam Mallela and Rahul Kumar, University of Texas, Austin, USA. Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining, 2002. The authors propose a new information-theoretic ...

CODE is a visual parallel programming system that composes sequential programs into parallel programs for shared-memory multiprocessors and workstations running MPI or PVM.

PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

User page: brief description and praise, software downloads, documentation. By Toren Kelley Smith.

A downloadable manual for STL and pointers to a faq and source for an implementation of the STL.

Free software, information, links.