SETI @ home project and its website

By Pragyansmita Paul

HTML | In the Digital Library
Tags: Distributed architectures

A day in the life of … Michael G. Brown

By Michael Brown

HTML | In the Digital Library
Tags: Human Factors, Human computer interaction (HCI), Professional topics

Technologies for the development of agent-based distributed applications

By Tobias Butte

HTML | In the Digital Library
Tags: Design, Distributed artificial intelligence, Language types, Languages, Organizing principles for web applications, Security

Introduction to programming shared-memory and distributed-memory parallel computers

By Cory Quammen

HTML | In the Digital Library
Tags: Algorithms, Design, Distributed architectures, Modules / packages, Parallel programming languages

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

HTML | In the Digital Library
Tags: Algorithms, Computability, Formal software verification, Language types, Languages, Parallel architectures, Program verification, Software development process management, Software verification, Theorem proving algorithms, Theory, Verification, Verification