By Topic

Parallel user interfaces for parallel applications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
M. T. Vandevoorde ; Lab. for Comput. Sci., MIT, Cambridge, MA, USA ; D. Kapur

Many parallel applications are designed to conceal parallelism from the user. We investigate a different approach where the user controls many tasks running in parallel. The idea is to let a user accomplish his goal more quickly by trying competing alternatives in parallel (or-parallelism) and by working on subgoals in parallel (and-parallelism). To help the user manage a large number of parallel tasks, the application must provide features to generate many tasks easily, to summarize the state of all tasks, to broadcast commands to related tasks, and to abort tasks that are no longer needed. A parallel interface to an application thus becomes crucial to enhance the user's productivity. We demonstrate this approach using DLP, a parallel, distributed version of the Larch Prover, an interactive theorem prover. DLP supports explicit parallelism and runs on a network of workstations. Users control DLP through a multi-window interface on a bit-map color-display. Many theorem proving problems that would otherwise take considerable user effort to solve have been done with relative ease using DLP.

Published in:

High Performance Distributed Computing, 1996., Proceedings of 5th IEEE International Symposium on

Date of Conference:

6-9 Aug. 1996