Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,123,643 papers from all fields of science
Search
Sign In
Create Free Account
Autocoder
Known as:
IBM Autocoder
Autocoder was the name given to certain assemblers for a number of IBM computers of the 1950s and 1960s.The first Autocoders appear to have been the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Assembly language
Autocode
Automatic programming
Comparison of assemblers
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Applying Deep Leaming Models on the Brain Connectome for Improving Cognitive Predictions of Parkinson's Disease
A. Nguyen
2018
Corpus ID: 195380034
Author(s): Nguyen, Alex | Advisor(s): Raj, Ashish | Abstract: Parkinson’s disease (PD) is one of the most prevalent progressive…
Expand
2013
2013
Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller
Timothy E. Wang
,
E. Feron
arXiv.org
2013
Corpus ID: 14928537
This article describes the application of a credible autocoding framework for control systems towards a nonlinear car controller…
Expand
2008
2008
From Protocol Specification to Statechart to Implementation
K. Wagstaff
,
K. Peters
,
Lucas Scharenbroich Jet
2008
Corpus ID: 14263351
This paper describes two major steps in model-based system design and implementation: 1) the process involved in converting a…
Expand
2007
2007
State-Chart Autocoder
K. Clark
,
G. Watney
,
A. Murray
,
E. Benowitz
2007
Corpus ID: 60360516
A computer program translates Unified Modeling Language (UML) representations of state charts into source code in the C, C++, and…
Expand
2007
2007
Proving Correctness of Autocoded Control Software
F. Alegre
,
René C. Valenzuela
,
E. Feron
,
S. Pande
2007
Corpus ID: 62317598
We show a methodology to automate the verification of safety properties of control systems software generated by an autocoder…
Expand
2006
2006
Formalising a High-Performance Microkernel Kevin Elphinstone Gerwin
E. Feron
,
A. Venet
2006
Corpus ID: 7244155
This paper argues that a pragmatic approach is needed for integrating design and formalisation of complex systems. We report on…
Expand
2006
2006
Static Analysis of Autocoded Software for Aerospace Systems
E. Feron
2006
Corpus ID: 34284513
Embedded software-based control systems are commonly constructed using model-based design environments such as MATLAB/SimulinkTM…
Expand
2002
2002
Stateflow autocoder
Joseph Fisher
,
D. Lawrence
,
J. Zhu
Proceedings of the Thirty-Fourth Southeastern…
2002
Corpus ID: 61477360
In a large-scale control system, the health monitoring subsystem could produce hundreds to thousands of system inputs. Using…
Expand
Review
2002
Review
2002
AUTOMATIC CODING OF TRANSCRIPT DATA FOR A SURVEY OF RECENT COLLEGE GRADUATES
Daniel J. Pratt
,
Jennifer Mays
2002
Corpus ID: 7295920
Research Triangle Institute collected transcripts from participating schools as part of a survey of recent college graduates for…
Expand
1964
1964
A storage allocation and reference structure
D. R. Fitzwater
CACM
1964
Corpus ID: 36590742
A method is proposed and discussed which allows a subscripted-variable capability (in the FORTRAN sense) to be added to AUTOCODER…
Expand