{"title":"A computer analysis of chronologies in Genesis","authors":"David E. Y. Sarna","doi":"10.1145/800196.806000","DOIUrl":"https://doi.org/10.1145/800196.806000","url":null,"abstract":"Biblical Scholars have long been intrigued by the chronology of the Book of Genesis. Most scholars today agree that the unnaturally large ages mentioned do not represent literal numbers. Professor E. A. Speiser 1 suggested, regarding the literalness of the numbers in Genesis, that One can see at a glance that the Masoretic [received] text is transparently schematic. 1 J. Skinner explains the differences between the Biblical versions as follows: These differences [in chronology, between the Masoretic text, the Septuagint and the Samaritan Torah] are certainly not accidental. They are due to carefully constructed artificial systems of chronology.... That problem has never been satisfactorily solved. 2 A search of the literature** did not turn up a satisfactory schematic arrangement; It can be seen that the life-spans are arranged in a pattern such that while the left term decreases by two, the squared term increases by one. This suggested that perhaps the chronologies in Genesis could be arranged into a scheme of factors not dissimilar to this one. Our first problem was to look for additional examples of this kind, taking into account the 64 different numbers in Genesis.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129000313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The complexity of loop programs","authors":"A. Meyer, D. Ritchie","doi":"10.1145/800196.806014","DOIUrl":"https://doi.org/10.1145/800196.806014","url":null,"abstract":"Anyone familiar with the theory of computability will be aware that practical conclusions from the theory must be drawn with caution. If a problem can theoretically be solved by computation, this does not mean that it is practical to do so. Conversely, if a problem is formally undecidable, this does not mean that the subcases of primary interest are impervious to solution by algorithmic methods. In the next section we describe such a class of programs, called “Loop programs.” Each Loop program consists only of assignment statements and iteration (loop) statements, the latter resembling the DO statement of FORTRAN, and special cases of the FOR and THROUGH statements of ALGOL and MAD. The bound on the running time of a Loop program is determined essentially by the length of the program and the depth of nesting of its loops.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"28 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114133094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The SDC Time-Sharing System revisited","authors":"J. I. Schwartz, C. Weissman","doi":"10.1145/800196.805996","DOIUrl":"https://doi.org/10.1145/800196.805996","url":null,"abstract":"In the light of accelerating interest, it seems worthwhile to review both the current status of TSS and some of the predictions made three years ago. Our review will include a brief overview of system changes, a discussion in some depth of resource allocation (which now appears to be the critical factor in general-purpose time-sharing systems), and some conclusions regarding how well our statements have withstood the test of time.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"156 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121253489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An approach to standardizing computer systems","authors":"Edward Morenoff, J. McLean","doi":"10.1145/800196.806021","DOIUrl":"https://doi.org/10.1145/800196.806021","url":null,"abstract":"The fundamental goal of an evolutionary approach to upgrading a computer installation is the maintenance of a continuity of operation as various elements of the installation (equipment components and system support programs) are replaced. The realization of this goal requires the isolation and separation of the inter-dependencies which now exist between the various elements of a computer installation. This includes the inter-dependencies between programs and the characteristics of equipment components, between programs and the characteristics of other programs, and between equipment components and the characteristics of other equipment components.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131286346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FDIC Bank Management Simulation","authors":"K. J. Cohen, J. T. Heames","doi":"10.1145/800196.805989","DOIUrl":"https://doi.org/10.1145/800196.805989","url":null,"abstract":"The following paper describes research that the authors are currently conducting in the development of a large, complex bank management simulation. The simulation, to be called the FDIC Bank Management Simulation, will be a computer model of commercial banks competing against one another and other financial institutions in the economic marketplace.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121785305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Machine organization for multiprogramming","authors":"P. Wegner","doi":"10.1145/800196.805984","DOIUrl":"https://doi.org/10.1145/800196.805984","url":null,"abstract":"This paper is intended as an introduction to some of the basic concepts of multiprogramming for readers who wish to study the more specialized literature in this field. It attempts to develop a framework for the discussion of multiprogramming which motivates the forms of machine organization used in current multiprogramming systems. The key requirement in multiprogramming systems is that information structures be represented in a hardware-independent form until the moment of execution, rather than being converted to a hardware-dependent form at load time. This requirement leads directly to the concept of hardware-independent virtual address spaces, and to the concept of virtual processors which are linked to physical computer resources through address mapping tables. The structure of the class of hardware-independent virtual processors in the IBM 360 model 67 and GE 645 systems (1), (2), (3), (4), is developed in some detail. Questions of efficiency of throughput in the resulting class of computer systems are considered.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133833712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Chebyshev method for the numerical solution of the one-dimensional heat equation","authors":"J. Mason","doi":"10.1145/800196.805982","DOIUrl":"https://doi.org/10.1145/800196.805982","url":null,"abstract":"Chebyshev series can be used not only for representing explicit functions but also for solving differential equations. Two Chebyshev methods, the selected points method and the tau method, have been described by Lanczos2 for the solution of ordinary differential equations. Moreover both methods have applications to partial differential equations. In a previous paper1 we have applied the selected points technique to derive a two-dimensional Chebyshev method for the solution of partial differential equations over bounded regions. And in the present paper we generalize the tau method to provide a one-dimensional method for the solution of the heat conduction equation over an infinite strip.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116082167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Microprogramming revisited","authors":"M. J. Flynn, M. McLaren","doi":"10.1145/800196.806013","DOIUrl":"https://doi.org/10.1145/800196.806013","url":null,"abstract":"It is the objective of this paper to briefly trace the history of the idea and the difficulties involved with defining or implementing it. In doing this, we first consider the general control problem and instruction formats. Next, storage implementations of the control function are considered and a restricted definition of microprogramming is proposed. This is then evaluated from a technological, architectural and programming point of view. We hope to show that our (demanding) definition of microprogramming is now technologically feasible and attractive from systems considerations.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126443810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"UMPIRE: An automatic Kriegsspiel referee for a time-shared computer","authors":"John F. Burger","doi":"10.1145/800196.805988","DOIUrl":"https://doi.org/10.1145/800196.805988","url":null,"abstract":"This paper describes a computer program called UMPIRE that performs all the functions of an actual live referee for the game of Kriegsspiel. The program is written in LISP 1.5 for the System Development Corporation Q-32 Time-Sharing System. With slight modifications to the I/O functions, UMPIRE could be made operable on any computer having a LISP 1.5 compiler. The basic functions of the program are translatable into LISP 2.","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130256707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A semantic model for a language processor","authors":"Robert V. Zara","doi":"10.1145/800196.806003","DOIUrl":"https://doi.org/10.1145/800196.806003","url":null,"abstract":"The purpose of this paper is to describe a language processor which is presently being developed at the United Aircraft Research Laboratories. The processor is called the Semantic Plex Processor* and is a bootstrap processor in the sense that it starts with a basic vocabulary, but one which is capable of generating new language with relative ease. Thus the set of statements which are ultimately acceptable to the processor is open-ended. Furthermore, the set of statements which are meaningful to the processor is a function not only of the set of statements which occurred in the past, but also of those which may occur in the future. (In this paper the words “time,” “past,” “future,” etc., are used to denote relative positions of statements as they appear from left to right in the input string.)","PeriodicalId":257203,"journal":{"name":"Proceedings of the 1967 22nd national conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1967-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130065329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
