Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Gerald Estrin"'
Autor:
Gerald Estrin
Publikováno v:
IEEE Annals of the History of Computing. 13:317-339
The WEIZAC was built for the Applied Mathematics Department at the Weizmann Institute of Science in Israel during 1954-1955. It is an early example of successful technology transfer, with the design of the von Neumann machine moving from the Institut
Publikováno v:
IEEE Transactions on Software Engineering. Feb86, Vol. 12 Issue 2, p293-311. 19p. 27 Diagrams, 1 Chart.
Publikováno v:
ACM SIGOIS Bulletin. 13:10
Publikováno v:
SIGMETRICS
The supported methodology evolving in the SARA (System ARchitects' Apprentice) system creates a design frame-work on which increasingly powerful analytical tools are to be grafted. Control flow analyses and program verification tools have shown promi
Publikováno v:
IEEE Transactions on Software Engineering. :293-311
An environment to support designers in the modeling, analysis, and simulation of concurrent systems is described. It is shown how a fully nested structure model supports multilevel design and focuses attention on the interfaces between the modules wh
Autor:
Robert S. Fenchel, Gerald Estrin
Publikováno v:
IEEE Transactions on Systems, Man, and Cybernetics. 12:162-167
Some designers of software systems have recognized the need for providing interactive assistance to the users of their systems. A variety of ad hoc approaches have been used to associate assistance with various aspects of these systems. Common proble
Publikováno v:
IEEE Transactions on Electronic Computers. :747-755
Pragmatic problem studies predict gains in computation speeds in a variety of computational tasks when executed on appropriate problem-oriented configurations of the variable structure computer. The economic feasibility of the system is based on util
Autor:
Gerald Estrin, David Martin
Publikováno v:
Journal of the ACM. 14:281-299
This paper concerns itself with the modeling of computations and systems and the generation of a priori estimates of expected computation time for given problems on given processing systems. In particular, methods are discussed for determining the pr
Publikováno v:
Journal of the ACM. 17:543-554
Directed graphs having logical control associated with each vertex have been introduced as models of computational tasks for automatic assignment and sequencing on parallel processor systems. A brief review of their properties is given. A procedure t
Publikováno v:
ACM Annual Conference (2)
This paper presents new results from a study of flow-of-control in programs involving concurrent processes. Within the framework of flow-of-control, this paper:1) defines a property of parallel program behavior called proper termination (PT);2) shows