Results 251 to 260 of about 8,437,425 (300)

Verification of program computations

2015
Die 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

Programming a vector computer

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

Computational programming technologies

Programming and Computer Software, 2011
Problems 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

Computers and Computer Programs

2014
Computers 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

Nonlinear programming computations

Preprints of papers presented at the 13th national meeting of the Association for Computing Machinery on - ACM '58, 1958
This paper is concerned with two recently developed computational algorithms for the solution of particular classes of nonlinear programming problems.
openaire   +1 more source

Medical Computing Programs

JAMA: The Journal of the American Medical Association, 1968
To the Editor:— Dr. Gabrieli's important suggestion (204:833, 1968) regarding the development of a national health information network requires some elaboration. A goal for having such a bank for information is technically feasible, however, strong forces offer resistance to the development of this important use of automated procedures. Anyone who has
openaire   +2 more sources

Helpful computer programs

Nursing Standard, 1988
Computer programs used for health education have proved popular with nurses, according to a Glasgow study.
V, Lnqlis, D, Black, M, McNulty, G, Gibson   +3 more
openaire   +2 more sources

Computer programs are patentable

Communications of the ACM, 1964
It is not surprising that computer programs are not listed in the patent statutes as one of the categories of patentable invention. When these categories were defined many years ago, computers and computer programs were unknown. Therefore, if computer programs are to be patentable within the framework of existing patent law they must fall within one of
openaire   +1 more source

Programming and Computing in HOL

2000
This 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

Computer Programs for Crystallography

Nature, 1968
Two computer programs, DSPIN and LSQRS, have been written to carry out the routine tasks of indexing sets of observed d-spacings in terms of known unit cells and of refining unit cell parameters rapidly, accurately and painlessly. The programs have been so written that the computer does as much of the computation and job organization as possible, and ...
openaire   +2 more sources