WorldCat Identities

Project MAC (Massachusetts Institute of Technology)

Overview
Works: 117 works in 160 publications in 1 language and 875 library holdings
Genres: Conference proceedings  Periodicals  Music 
Classifications: QA76, 001.64
Publication Timeline
Key
Publications about Project MAC (Massachusetts Institute of Technology) Publications about Project MAC (Massachusetts Institute of Technology)
Publications by Project MAC (Massachusetts Institute of Technology) Publications by Project MAC (Massachusetts Institute of Technology)
Most widely held works about Project MAC (Massachusetts Institute of Technology)
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Project MAC (Massachusetts Institute of Technology)
Record by Project MAC Conference on Concurrent Systems and Parallel Computation ( Book )
5 editions published in 1970 in English and held by 77 WorldCat member libraries worldwide
Project MAC progress report by Project MAC (Massachusetts Institute of Technology) ( )
in English and held by 34 WorldCat member libraries worldwide
A parallel processing model of musical structures by Stephen W Smoliar ( Book )
2 editions published in 1971 in English and held by 32 WorldCat member libraries worldwide
EUTERPE is a real-time computer system for the modeling of musical structures. It provides a formalism wherein familiar concepts of musical analysis may be readily expressed. This is verified by its application to the analysis of a wide variety of conventional forms of music: Gregorian chant, Mediaeval polyphony, Bach counterpoint, and sonata form. It may be of further assistance in the real-time experiments in various techniques of thematic development. Finally, the system is endowed with sound-synthesis apparatus with which the user may prepare tapes fr musical performances. (Author)
Computer recognition of three-dimensional objects in a visual scene by Adolfo Guzmán-Arenas ( Book )
2 editions published in 1968 in English and held by 28 WorldCat member libraries worldwide
Methods are presented: (1) to partition or decompose a visual scene into the bodies forming it; (2) to position these bodies in three-dimensional space, by combining two scenes that make a stereoscopic pair; (3) to find the regions or zones of a visual scene that belong to its background; (4) to carry out the isolation of objects in (1) when the input has inaccuracies. Running computer programs implement the methods, and many examples illustrate their behavior. The input is a two-dimensional line-drawing of the scene, assumed to contain three-dimensional bodies possessing flat faces (polyhedra); some of them may be partially occluded. Suggestions are made for extending the work to curved objects. Some comparisons are made with human visual perception. The main conclusion is that it is possible to sseparate a picture or scene into the constituent objects exclusively in basis of monocular geometric properties (in basis of pure form); in fact, successful methods are shown. (Author)
Lambda-calculus models of programming languages by James Hiram Morris ( Book )
2 editions published in 1968 in English and held by 26 WorldCat member libraries worldwide
The flow graph schemata model of parallel computation by Donald Ray Slutz ( Book )
2 editions published in 1968 in English and held by 23 WorldCat member libraries worldwide
Flow Graph Schemata are introduced as uninterpreted models of parallel algorithms, operating asynchronously and reflecting physical properties inherent to any implementation. Three main topics are investigated: (1) determinacy, (2) equivalence, and (3) equivalence-preserving transformations on the control structure of a Flow Graph Schemata. A model is determinate if the results of a computation depend only on the initial values and not on any timing constraints within the model. Equivalence is undecidable in general, but for a large class of determinate Flow Graph Schemata which are in a maximum parallel form, equivalence is shown decidable. In equivalence-preserving transformations, sufficient tested conditions for equivalence are formulated that depend only on the portion of the structure to be transformed. Current and future computational systems are evaluated in terms of results obtained for Flow Graph Schemata. A number of interesting extensions of the work are suggested
A formal system for defining the syntax and semantics of computer languages by Henry F Ledgard ( Book )
1 edition published in 1969 in English and held by 22 WorldCat member libraries worldwide
The thesis of this dissertation is that formal definitions of the syntax and semantics of computer languages are needed. This dissertation investigates two candidates for formally defining computer languages: (1) the formalism of canonical systems for defining the syntax of a computer language and its translation into a target language, and (2) the formalisms of the lambda-calculus and extended Markov algorithms as a combined formalism used as the basis of a target language for defining the semantics of a computer language. Formal definitions of the syntax and semantics of SNOBOL/1 and ALGOL/60 are included as examples of the approach. (Author)
MAC TR by Project MAC (Massachusetts Institute of Technology) ( )
in English and held by 21 WorldCat member libraries worldwide
Economies of scale in computer use : initial tests and implications for the computer utility by Lee L Selwyn ( Book )
2 editions published in 1970 in English and held by 18 WorldCat member libraries worldwide
The study is concerned with the existence of economies of scale in the production of data processing and other computing services, and the possible regulatory and public policy implications of such economies. An analysis was made of data on nearly 10,000 computers installed at firms in manufacturing industries, using the survival technique, which uses market experience as a basis for studying levels of optimum plant size. The results of this analysis suggested that users did operate computers as if there were significant economies of scale in their use. (Author)
Symbolic integration by Joel Moses ( Book )
2 editions published in 1967 in English and held by 18 WorldCat member libraries worldwide
A computer-controlled graphical display processor by James Gerard Fiasconaro ( Book )
2 editions published in 1970 in English and held by 18 WorldCat member libraries worldwide
MAC technical memorandum by Project MAC (Massachusetts Institute of Technology) ( )
in English and held by 18 WorldCat member libraries worldwide
Symbolic mathematical laboratory by William Arthur Martin ( Book )
3 editions published in 1967 in English and held by 17 WorldCat member libraries worldwide
PILOT : a step toward man-computer symbiosis by Warren Teitelman ( Book )
2 editions published in 1966 in English and held by 17 WorldCat member libraries worldwide
PILOT is a programming system constructed in LISP. It is designed to facilitate the development of programs by easing the familiar sequence: write some code, run the program, make some changes, write some more code, run the program again, etc. As a program becomes more complex, making these changes becomes harder and harder because the implications of changes are harder to anticipate. In the PILOT system, the computer plays an active role in this evolutionary process by providing the means whereby changes can be effected immediately, and in ways that seem natural to the user. The user of PILOT feels that he is giving advice, or making suggestions, to the computer about the operation of his programs, and that the system then performs the work necessary. The PILOT system is thus an interface between the user and his program, monitoring both the requests of the user and the operation of his program. The user may easily modify the PILOT system itself by giving it advice about its own operation. This allows him to develop his own language and to shift gradually onto PILOT the burden of performing routine but increasingly complicated tasks
Hierarchical associative memories for parallel computation by Jeffrey Lee Gertz ( )
2 editions published in 1970 in English and held by 17 WorldCat member libraries worldwide
Two current trends in computing, namely the increasing importance of parallelism in computer operations and the concept of programming generality, indicate that new computer systems must employ location-independent addressing. One possible manner of accomplishing this objective involves the use of an associative memory for the computer system. The report is concerned with the study, analysis, and design of a multi-level associative memory for a highly parallel computer system, as well as the representation and execution of highly parallel programs in such a memory hierarchy. (Author)
Program analysis by digital computer by Daniel U Wilde ( Book )
3 editions published in 1967 in English and held by 16 WorldCat member libraries worldwide
Some upper and lower bounds on decision procedures in logic by Jeanne Ferrante ( Book )
1 edition published in 1974 in English and held by 16 WorldCat member libraries worldwide
Incremental simulation on a time-shared computer by Malcolm Murray Jones ( Book )
2 editions published in 1968 in English and held by 15 WorldCat member libraries worldwide
The thesis describes a system which allows simulation models to be built and tested incrementally. It is called OPS-4 and is specifically designed to operate in the environment of the Multics system. It represents a major expansion and improvement of the OPS-3 system implemented in CTSS and also includes many features adapted from other current simulation systems. The PL/1 language, augmented by many additional statements and new data objects, provides the basis for defining models in OPS-4. A list of desirable features for an incremental simulation system is presented and it is shown how OPS-4 incorporates these features, whereas other current simulation systems satisfy only some of them and are not suitable for use in time-shared environment. A simplified model of page and segment fault handling in Multics illustrates some of the features OPS-4 provides to allow the user to continuously interact with a model during its construction, testing and running phases. It also illustrates how the user himself may portray portions of a model that are not yet defined. (Author)
Deadlock-free sharing of resources in asynchronous systems by Prakash G Hebalkar ( Book )
2 editions published in 1970 in English and held by 15 WorldCat member libraries worldwide
Whenever resources are shared among several activities that hoard resources, the activities can attain a state of deadlock in which, for lack of resources, none of the activities can proceed. Deadlocks can be prevented by coordination of the sharing. Efficient running of the activities under such coordination requires knowledge of the patterns of use of resources by the activities. This thesis presents a study of deadlock prevention in systems in which a knowledge of the usage of resources by the activities during several phases of steady resource usage is available. A representation called a demand graph is presented and used for the study of deadlocks. The model is a general one and encompasses systems in which the activities themselves consist of more than one sequence of phases and are not necessarily independent of each other. The analysis is applicable to computer systems as well as systems in the realm of operations research. (Author)
CARPS : a program which solves calculus word problems by Eugene Charniak ( Book )
2 editions published in 1968 in English and held by 14 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.93 (from 0.00 for Papers, ... to 1.00 for Oral histo ...)
Alternative Names

controlled identity Massachusetts Institute of Technology. Laboratory for Computer Science

Massachusetts Institute of Technology Project MAC
Project M.A.C.
Project M.A.C. (Massachusetts Institute of Technology)
Project MAC Cambridge, Mass
Project MAC (Massachusetts Institute of Technology)
Languages
English (57)