Results 1  10
of
58
Mechanical Translation of Set Theoretic Problem Specifications Into Efficient RAM Code  A Case Study
 Proc. EUROCAL 85
, 1985
"... This paper illustrates a fully automatic topdown approach to program development in which formal problem specifications are mechanically translated into efficient RAM code. This code is guaranteed to be totally correct and an upper bound on its worst case asymptotic running time is automatically de ..."
Abstract

Cited by 27 (8 self)
 Add to MetaCart
This paper illustrates a fully automatic topdown approach to program development in which formal problem specifications are mechanically translated into efficient RAM code. This code is guaranteed to be totally correct and an upper bound on its worst case asymptotic running time is automatically determined. The user is only required to supply the system with a formal problem specification, and is relieved of all responsibilities in the rest of the program development process. These results are obtained, in part, by greatly restricting the system to handle a class of determinate, set theoretic, tractable problems. The most essential transformational techniques that are used are fixed point iteration, finite differencing, and data structure selection. Rudimentary forms of these techniques have been implemented and used effectively in the RAPTS transformational programming system. This paper explains the conceptual underpinnings of our approach by considering the problem of attribute closure for relational databases and systematically deriving a program that implements a linear time solution. 1.
A Learning Model for Forecasting the Future of Information Technology
, 1986
"... Systemtheoretic accounts of the epistemological processes underlying knowledge acquisition have been shown to apply to both individual human behavior and social development processes, and to enable algorithms to be developed for computerbased systems modeling. Such accounts are applicable to the u ..."
Abstract

Cited by 14 (11 self)
 Add to MetaCart
Systemtheoretic accounts of the epistemological processes underlying knowledge acquisition have been shown to apply to both individual human behavior and social development processes, and to enable algorithms to be developed for computerbased systems modeling. Such accounts are applicable to the upper levels of the hierarchy of autonomous systems to provide models of socioeconomic behavior. In this paper they are applied to the development of information technology, and used to account for past events and predict future trends in relevant industries such as computing and genetic engineering. Underlying all developments in information technology is a tiered succession of learning curves which make up the infrastructure of the relevant industries. The paper provides a framework for the industries based on this logical progression of developments. It links this empirically to key events in the development of computing and genetic engineering. It links it theoretically to a model of eco...
Grounding Analog Computers
 Think
, 1993
"... Although analog computation was eclipsed by digital computation in the second half of the twentieth century, it is returning as an important alternative computing technology. Indeed, as explained in this report, theoretical results imply that analog computation can escape from the limitations of dig ..."
Abstract

Cited by 13 (7 self)
 Add to MetaCart
Although analog computation was eclipsed by digital computation in the second half of the twentieth century, it is returning as an important alternative computing technology. Indeed, as explained in this report, theoretical results imply that analog computation can escape from the limitations of digital computation. Furthermore, analog computation has emerged as an important theoretical framework for discussing computation in the brain and other natural systems. The report (1) summarizes the fundamentals of analog computing, starting with the continuous state space and the various processes by which analog computation can be organized in time; (2) discusses analog computation in nature, which provides models and inspiration for many contemporary uses of analog computation, such as neural networks; (3) considers generalpurpose analog computing, both from a theoretical perspective and in terms of practical generalpurpose analog computers; (4) discusses the theoretical power of
Machines, logic and quantum physics
 BULLETIN OF SYMBOLIC LOGIC
, 1999
"... Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of th ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical notions independent of that of computation as a physical process. Henceforward, a proof must be regarded not as an abstract object or process but as a physical process, a species of computation, whose scope and reliability depend on our knowledge of the physics of the computer concerned.
From "Impact" to Social Process: Computers in Society and Culture
 In S. Jasanoffet et al., (Eds), Handbook of Science and Technology Studies
, 1994
"... ..."
GIANFRANCO CIMMINO’S CONTRIBUTIONS TO NUMERICAL MATHEMATICS
, 2004
"... Gianfranco Cimmino (19081989) authored several papers in the field of numerical analysis, and particularly in the area of matrix computations. His most important contribution in this field is the iterative method for solving linear algebraic systems that bears his name, published in 1938. This pape ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
Gianfranco Cimmino (19081989) authored several papers in the field of numerical analysis, and particularly in the area of matrix computations. His most important contribution in this field is the iterative method for solving linear algebraic systems that bears his name, published in 1938. This paper reviews Cimmino’s main contributions to numerical mathematics, together with subsequent developments inspired by his work. Some background information on Italian mathematics and on Mauro Picone’s Istituto Nazionale per le Applicazioni del Calcolo, where Cimmino’s early numerical work took place, is provided. The lasting importance of Cimmino’s work in various application areas is demonstrated by an analysis of citation patterns in the broad technical and scientific literature.
On Alan Turing's Anticipation Of Connectionism
, 1996
"... It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuronlike elements connected together into networks in a largely random manner. Turing called his networks `unorganised machines'. By the application of what he described ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuronlike elements connected together into networks in a largely random manner. Turing called his networks `unorganised machines'. By the application of what he described as 'appropriate interference, mimicking education' an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of 'neurons' is sufficient. Turing proposed simulating both the behaviour of the network and the training process by means of a computer program. We outline Turing's connectionist project of 1948.
Crossing the divide: Architectural issues and the emergence of the stored program computer
 IEEE Ann. Hist. Comput
, 1997
"... ince 1950, the technology of calculation and data processing ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
ince 1950, the technology of calculation and data processing
CSE: Content and Product
 IEEE Computational Science & Engineering Mag
, 1997
"... this article we describe our view of the area and relate it to the problem solving processes in science and engineering. Realities ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
this article we describe our view of the area and relate it to the problem solving processes in science and engineering. Realities