In this paper, we give a straight forward, highly efficient, scalable implementation of common matrix multiplication operations. The algorithms are much simpler than previously published methods, ...

Kristen Grauman, Ph.D., a professor in the Department of Computer Science, was awarded the prestigious 2026 Hill Prize in ...

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

We can show you the Knuth-Pratt-Morris algorithm and we can show you the Boyer-Moore algorithm. Our algorithm has the peculiar property that, roughly speaking, the longer the pattern is, the faster ...

It is a misnomer. As Edsger Dijkstra used to say "Computer Science is no more about computers than astronomy is about telescopes". Computer Science is closely related to mathematics. It is the study ...

Experience programming, teamwork, and real-world applications in this week-long residential program for high school students. Choose from Arduino microcontrollers in the Standard Edition or Python in ...

This course can more aptly titled Fundamentals in Machine Learning. It is a gateway course to more advanced and specialized graduates courses in the Compyter Science graduate program. To enjoy the ...

Interests: Computer architecture, reconfigurable logic, computing technologies, ubiquitous and wearable computing, privacy and personal data management, mobile devices, cloud services, datacenter ...

Computational Applied Mathematics Chair in Visualization Professor of Computer Science Director of Center for Computational Visualization Department of Computer Science & The Oden Institute of ...

Programming languages, modeling languages, domain-specific languages, strategic programming, interfacing programming languages and databases, distributed computing and web services, software ...