DEPARTMENT: Labz
Faster computers for all
Efficient Computing Laboratory, Texas State University
By Sepideh Maleki, April 2019
Articles Tagged: Parallel architectures
Articles & Features
Faster computers for all
SECTION: Features
Parallel computing with patterns and frameworks
Exploiting parallelism may require developers to think differently about how their programs are written.
By Bryan Catanzaro, Kurt Keutzer, September 2010
Introduction
By William Stevenson, April 2002
Software verification and validation with destiny
This paper presents an introduction to computer-aided theorem proving and a new approach using parallel processing to increase power and speed of this computation. Automated theorem provers, along with human interpretation, have been shown to be powerful tools in verifying and validating computer software. Destiny is a new tool that provides even greater and more powerful analysis enabling greater ties between software programs and their specifications.
By Josiah Dykstra, April 2002
PiSMA
By Dimitris Lioupis, Andreas Pipis, Maria Smirli, Michael Stefanidakis, March 1999
Parallel processing in heterogeneous cluster architechtures using JavaPorts
By Demetris G. Galatopoullos, Elias S. Manolakos, March 1999