Results 251 to 260 of about 3,955,142 (302)
Some of the next articles are maybe not open access.
The origins of computer programming
IEEE Annals of the History of Computing, 1994This paper describes some of the early developments which can now be viewed as constituting steps towards the development of program control, and of the modern concept of a stored program. In particular, it discusses early automatic devices, Babbage's contributions set against a background of the technology of his day, the contributions of some of his ...
openaire +4 more sources
Computational Chains and the Simplification of Computer Programs
IEEE Transactions on Electronic Computers, 1962In the synthesis of switching circuits, a formal representation of the function to be realized by the circuit is first established and simplified as much as possible. Only then is construction of the circuit undertaken. It is argued that an analogous strategy should be followed in the synthesis of digital computer programs: the function to be realized ...
openaire +3 more sources
Verification of program computations
2015Die formale Verifikation der Implementierung komplexer Algorithmen ist schwierig. Sie übersteigt die Möglichkeiten der heutigen Verifikationswerkzeuge und erfordert für gewöhnlich komplexe mathematische Theoreme. Zertifizierende Algorithmen berechnen zu jeder Ausgabe ein Zerfitikat, das die Korrektheit der Antwort bestätigt. Ein Checker für ein solches
openaire +3 more sources
1972 IEEE 2nd Symposium on Computer Arithmetic (ARITH), 1972
The principal purpose of this paper is to illustrate how some well known algorithms have been programmed on a specific vector computer, the CDC STAR-100. The main thesis is that the extensive repertoire of programs devised for conventional machines can be transferred effectively to a vector computer, though the detailed implementation will generally ...
openaire +1 more source
The principal purpose of this paper is to illustrate how some well known algorithms have been programmed on a specific vector computer, the CDC STAR-100. The main thesis is that the extensive repertoire of programs devised for conventional machines can be transferred effectively to a vector computer, though the detailed implementation will generally ...
openaire +1 more source
Nonlinear programming computations
Preprints of papers presented at the 13th national meeting of the Association for Computing Machinery on - ACM '58, 1958This paper is concerned with two recently developed computational algorithms for the solution of particular classes of nonlinear programming problems.
openaire +1 more source
A Computer Program for Urology
British Journal of Urology, 1985Summary— Modern information technology offers new opportunities for the storage and manipulation of clinical data within hospital departments. We have designed and put into use a microcomputer system for urology. its basic structure and main functions are described.
M B, Rose +2 more
openaire +2 more sources
Computers and Computer Programs
2014Computers are an integral part of astrophotography and perform a wide range of tasks. Anyone with poor computer skills soon learns either to develop them or find a hobby other than astrophotography. While computers are required for processing our digital images, they also can greatly facilitate the other aspects of astrophotography from identifying ...
openaire +1 more source
Programming and Computing in HOL
2000This article describes a set of derived inference rules and an abstract reduction machine using them that allow the implementation of an interpreter for HOL terms, with the same complexity as with ML code. The latter fact allows us to use HOL as a computer algebra system in which the user can implement algorithms, provided he proved them correct.
openaire +1 more source
Nursing Standard, 1988
Computer programs used for health education have proved popular with nurses, according to a Glasgow study.
V, Lnqlis +3 more
openaire +2 more sources
Computer programs used for health education have proved popular with nurses, according to a Glasgow study.
V, Lnqlis +3 more
openaire +2 more sources
Computational programming technologies
Programming and Computer Software, 2011Problems arising in computational programming in connection with the approaching transition to using exaflop hardware are discussed. The discussion is focused on the lifecycle of mathematical modeling and related general problems that are being solved in the course of model development.
Valeri P. Il'in, I. N. Skopin
openaire +2 more sources