Results 1  10
of
38
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 26 (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.
Modeling and Forecasting the Information Sciences
 Information Sciences
, 1991
"... A model of the development of the information sciences is described and used to account for past events and predict future trends, particularly fifth and sixth generation priorities. The information sciences came into prominence as electronic device technology enabled the social need to cope with an ..."
Abstract

Cited by 21 (7 self)
 Add to MetaCart
A model of the development of the information sciences is described and used to account for past events and predict future trends, particularly fifth and sixth generation priorities. The information sciences came into prominence as electronic device technology enabled the social need to cope with an increasingly complex world to be satisfied. Underlying all developments in computing is a tiered succession of learning curves which make up the infrastructure of the computing industry. The paper provides a framework for the information sciences based on this logical progression of developments. It links this empirically to key events in the development of computing. It links it theoretically to a model of economic, social, scientific and individual development as related learning processes with a simple phenomenological model. The fifth generation development program with its emphasis on humancomputer interaction and artificial intelligence, and the sixth generation research program with...
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 12 (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
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 12 (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...
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 10 (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
, 1994
"... reasoning is, for men, an important value, partly because of its connection with power. Carol Gilligans wellknown study of mens and womens morality,In a Different Voice, revealed that men tend to see the highest form of morality as one based on a reasoned adherence to an overarching moral law that ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
reasoning is, for men, an important value, partly because of its connection with power. Carol Gilligans wellknown study of mens and womens morality,In a Different Voice, revealed that men tend to see the highest form of morality as one based on a reasoned adherence to an overarching moral law that treats all actors as equals (Gilligan 1982). Women, by contrast, tend to prefer interdependence. Reliance on others is valued because it continually maintains a social fabric or network, seen as more important than individual selfsufficiency. Instead of hierarchy, Edwards 30 From Impact to Social Process womens culture practices social leveling, in which an underlying goal of conversations or games is to keep everyone at the same level of status. Similarly, competition and winning are less important than keeping a game or conversation going (Tannen 1990). Practical skills rather than abstract reasoning tend to be primary values, and this goes along with a morality that perceives particul...
Strategic Directions in Computer Architecture
 ACM Computing Surveys
, 1996
"... Looking back on the last 30 years, we have seen the remarkable developments in semiconductor technology enabling the implementation of ideas that were previously ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Looking back on the last 30 years, we have seen the remarkable developments in semiconductor technology enabling the implementation of ideas that were previously
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 as ' ..."
Abstract

Cited by 4 (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.
GIANFRANCO CIMMINO’S CONTRIBUTIONS TO NUMERICAL MATHEMATICS ∗
"... Abstract. 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. ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Abstract. 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. Key words. Cimmino’s method, history of numerical linear algebra AMS subject classifications. Primary 0108, 01A60. Secondary 65F10, 65R30. 1. Introduction. Gianfranco Cimmino
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 3 (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