| 1. |
|
|
| 2. |
|
|
| 3. |
- Biema, Michael K. van, et al.
(författare)
-
The Design and Implementation of System Level Language for the DADO Parallel Machine
- 1987
-
Ingår i: Proceedings of the Twentieth Annual Hawaii International Conference on System Sciences 1987. Volume 3. - : IEEE and ACM. ; , s. 152-162
-
Konferensbidrag (refereegranskat)abstract
- In this paper we describe necessary criteria for the design of parallel system level languages and their support environment. We base the criteria on our own experiences in building a system level language parallel PSL (Parallel Portable Standard Lisp) for the DADO machine developed at Columbia University. The DADO machine is a special purpose massively parallel binary tree structured architecture. We describe the process of language design and implementation on a 1023 node prototype machine. After generalizing what we have learned from this specific implementation to the generic task of building a system level language for a parallel machine, we conclude with a discussion of desirable characteristics such a language should have to allow the easy transition from a language with explicit parallelism to one where the parallelism is implicit.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
- Maguire Jr., Gerald Q., et al.
(författare)
-
Process migration Effects on scientific computation
- 1987
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This report describes the notion of process migration. and points out certain vulnerabilities to architectural assumptions.Computationally intensive processes, typified by scientific computations, are among the best candidates for migration. In architecturally heterogeneous systems, these processes face particular problems due to their dependence on architectural features such as "machine precision". We point out some of these problems. and suggest some solutions.
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Smith, Jonathan M., et al.
(författare)
-
RB: Programmer Specification of Redundancy
- 1987
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- RB is a programming language for specifying redundancy in various dimensions. Avizienis's notation T I HIS, for Time I Hardware I Software, describes the different types of redundancy possible in a computation: repetition (nT I HIS), redundant hardware (T I nH I S), and program (software) (T I H InS). These can each be controlled by the programmer with RB. RB derives its name from its use of the recovery block notion to specify fault-tolerant segments of software. RB also supplies the programmer with the ability to specify degrees of replication and repetition for a given recovery block alternate; the underlying support software can then take this advice to replicate in time or hardware, based on available resources. An implementation of RB based on the C programming language is described in this paper. This implementation uses a combination of a language preprocessor for C and a runtime library to provide the desired semantics. Modification of RB to support other programming languages, or programmer specification of N-Version Programming as the decision mechanism. is straightforward.
|
|
| 10. |
- Duda, Dick, et al.
(författare)
-
SYNTEL: Using a Functional Language for Financial Risk Assessment
- 1987
-
Ingår i: IEEE Expert. ; 2:3
-
Tidskriftsartikel (refereegranskat)abstract
- This article describes Syntel, a knowledge representation language used in building large-scale expert systems for financial risk assessment. Syntel is an outgrowth of rule-based systems such as MYCIN and network-based systems such as Prospector. Unlike typical rule- or frame-based expert system shells, however, Syntel is a data-driven, purely functional language providing probabilistic inference plus many kinds of functionality associated with spreadsheets and database systems.
|
|
