Results 251 to 260 of about 7,861,380 (293)

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

The origins of computer programming

IEEE Annals of the History of Computing, 1994
This article describes some of the early developments that can now be viewed as steps toward the development of program control and 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 direct successors,
openaire   +4 more sources

Ownership of Computer Program

Science, 1983
The recent article by Gina Kolata relating to ownership of the copyright to the Symbolic Manipulation Program (SMP) developed at Caltech under the leadership of Stephan Wolfram (News and Comment, 27 May, p. 932) is both incomplete and inaccurate as to several details, as might be expected for its being researched largely, if not exclusively, by
openaire   +3 more sources

Computer music programming

Microprocessing and Microprogramming, 1989
Abstract This article describes how to make an environment for musicians in which they can program. Programming is done graphically. The program can be mapped on parallel hardware. We first introduce the concepts of the system. Then we explain how modularity is achieved. Hereafter, an overview of the implementation is given.
openaire   +2 more sources

On the Meaning of Computer Programs

2001
This paper explores how computer programmers extract meaning from the computer program texts that they read. This issue is examined from the perspective that program reading is governed by a number of economic choices, since resources, particularly cognitive resources, are severely constrained.
openaire   +2 more sources

Computer Programming

Pacing and Clinical Electrophysiology, 1992
openaire   +2 more sources

Programming with human computation.

2011
Amazon's Mechanical Turk provides a programmatically accessible micro-task market, allowing a program to hire human workers. This has opened the door to a rich field of research in human computation where programs orchestrate the efforts of humans to help solve problems.
openaire   +1 more source

Computing program functions

Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, 2022
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili 0001   +3 more
openaire   +2 more sources