XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Articles Tagged: Parallel architectures

Articles & Features

Faster computers for all<br />Efficient Computing Laboratory, Texas State University

Parallel computing with patterns and frameworks

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

PDF | HTML | In the Digital Library

Introduction

By William Stevenson, April 2002

PDF | HTML | In the Digital Library

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

PDF | HTML | In the Digital Library

PiSMA

By Dimitris Lioupis, Andreas Pipis, Maria Smirli, Michael Stefanidakis, March 1999

PDF | HTML | In the Digital Library

Parallel processing in heterogeneous cluster architechtures using JavaPorts

By Demetris G. Galatopoullos, Elias S. Manolakos, March 1999

PDF | HTML | In the Digital Library