Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,770 papers from all fields of science
Search
Sign In
Create Free Account
Admissible numbering
Known as:
Programming system
, Rogers equivalence theorem
, Acceptable numbering
Expand
In computability theory, the admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Broader (2)
Computability theory
Theory of computation
Friedberg numbering
Kleene's T predicate
Kleene's recursion theorem
Numbering (computability theory)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2003
Review
2003
Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented Applications
U. Ramachandran
,
R. Nikhil
,
+6 authors
K. Knobe
IEEE Trans. Parallel Distributed Syst.
2003
Corpus ID: 5563389
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable…
Expand
2002
2002
Execution and description of dexterous hand task by using multi-finger dual robot hand system - realization of Japanese sign language
H. Sugiuchi
,
T. Morino
,
M. Terauchi
Proceedings of the IEEE Internatinal Symposium on…
2002
Corpus ID: 195704877
A multi-fingered dual robot hand and its control and programming system, e.g. the state action event network (SAEN), have been…
Expand
1998
1998
A Java based Distributed Approach to Genetic Programming on the Internet
Chong Fuey Sian
1998
Corpus ID: 59647042
This paper presents a distributed approach to parallelise Genetic Programming on the Internet. The motivation for the approach is…
Expand
1994
1994
Visual Programming and Parallel Computing
J. Browne
,
J. Dongarra
,
S. Hyder
,
K. Moore
,
Peter W. Newton
1994
Corpus ID: 2499200
Visual programming arguably provides greater benefit in explicit parallel programming, particularly coarse grain MIMD programming…
Expand
1986
1986
GARDEN Tools: Support fpr Graphical Programming
S. Reiss
Advanced Programming Environments
1986
Corpus ID: 42016290
This paper describes the programming tools provided by the GARDEN system developed at Brown University. GARDEN is an environment…
Expand
Review
1984
Review
1984
Logic Programming Using Parallel Associative Operations
Stephen Taylor
,
Andy Lowry
,
Gerald Q. Maguire
,
S. Stolfo
International Conference on Spoken Language…
1984
Corpus ID: 21783270
In order to provide performance improvements in the execution of large logic programs, it is highly desirable to investigate the…
Expand
1982
1982
Syntax-Directed Program Modularization
B. B. Kristensen
,
O. Madsen
,
B. Møller-Pedersen
,
K. Nygaard
European Conference on Integrated Interactive…
1982
Corpus ID: 62663161
The intent of this paper is to illustrate the following general ideas: -- Use of the context free grammar of a programming…
Expand
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand
Highly Cited
1974
Highly Cited
1974
AL, a programming system for automation.
R. Finkel
,
Russell H. Taylor
,
R. Bolles
,
R. Paul
,
J. Feldman
1974
Corpus ID: 58790015
AL is a high-level programming system for specification of manipulatory tasks such as assembly of an object from parts. AL…
Expand
1974
1974
COPILOT: a multiple process approach to interactive programming systems
D. Swinehart
1974
Corpus ID: 60611912
Abstract : The addition of multiple processing facilities to a language used in an interactive computing environment requires new…
Expand