• Aucun résultat trouvé

Computer Research

N/A
N/A
Protected

Academic year: 2021

Partager "Computer Research"

Copied!
2
0
0

Texte intégral

(1)

XXXIII. COMPUTER RESEARCH *

Academic and Research Staff Prof. J. B. Dennis W. W. Plummer

RESEARCH OBJECTIVES

The purpose of this group, which is operated jointly by the Research Laboratory of Electronics, the Electronic Systems Laboratory, and the Department of Electrical Engi-neering, M.I.T., is fourfold:

1. To provide a flexible and readily accessible computation facility oriented toward the Laboratory's research goals.

2. To provide an educational facility where students may learn the principles of automatic computation, and undergraduate and graduate thesis projects may be carried out.

3. To develop computation techniques, especially methods that make program design and construction more convenient, and allow easier communication with the machine.

4. To investigate new principles for organizing multiprogrammed computer systems. The Computer Research Group operates two general-purpose machines. The TX-0 computer was built by Lincoln Laboratory, M.I.T., as an experimental machine, and was turned over to the Department of Electrical Engineering in 1958. The Digital Equip-ment Corporation donated one of their PDP-1 machines in 1961. The PDP-1 has become the central processor of a time-shared multiuser system1 implemented by the group. Our activities have included modifications to the two computer systems to improve their performance, as well as the programming of translators, editors, debugging programs, and executive routines suited to the on-line nature of the use of the two systems.

J. B. Dennis

This work is supported principally by the Joint Services Electronics Programs (U.S. Army, U.S. Navy, and U.S. Air Force) under Contract DA 36-039-AMC-03200(E); and in part by the National Science Foundation (Grant GP-835) and the National Aero-nautics and Space Administration (Grant NsG-496).

(2)

Références

Documents relatifs

To check that the data server is an allowed reader, TEP requests a proof from the Environment Prover and checks it locally with the Environment Checker.. In this application, the

In the rest of this paper we provide a brief overview of each of the on-going projects of our group and namely, Object Integration, Mobile Object Systems, MEDIA, WanderVögel, DVP

Assuming that the home-address test dominates the care-of-address test in terms of latency, a Mobile IPv6 handoff takes one round-trip time between the mobile node and the

The L2-LinkStatus.request primitive is sent to the link layer when an upper layer requires the current information of a link.. In response, the L2-LinkStatus.confirm

communication in general, the case of multicast listener mobility, and problems for mobile senders using Any Source Multicast and Source-Specific Multicast..

Preserving integrity of routing and data, or, in other words, preventing peers from returning corrupt responses to queries and routing through malicious peers, is an

the separation between identifier and locator (which is to meet end- users’ needs including mobility) and the separation between local and global locator (which makes the

The PHIB is inserted into a bundle by a forwarding node to provide the endpoint identifier (EID) of an endpoint of which the forwarding node is a member so that this EID may