Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,346,473 papers from all fields of science
Search
Sign In
Create Free Account
Abstract machine
Known as:
Abstract computer
, Machine (disambiguation)
An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract data type
Abstract interpretation
Analysis of algorithms
Automata theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
POLLUTION PHYSICO-CHIMIQUE DES EAUX DE BARRAGE DE LA REGION D'EL TARF. IMPACT SUR LA CHLORATION
N. Harrat
,
S. Achour
2010
Corpus ID: 161183178
Les barrages de Mexa et Chefia, situes pres de la ville d'El Tarf, sont utilises aussi bien pour l'alimentation en eau potable…
Expand
2008
2008
Machine Learning Algorithms for Choosing Compiler Heuristics
Gennady Pekhimenko
2008
Corpus ID: 17014489
Machine Learning Algorithms for Choosing Compiler Heuristics Gennady G. Pekhimenko Master of Science Graduate Department of…
Expand
2007
2007
Arquitectura basada en FPGAs para la detección de objetos en movimiento, utilizando visión computacional y técnicas PCA
Ignacio Bravo Muñoz
2007
Corpus ID: 193198926
2001
2001
Components as coalgebras
L. Barbosa
2001
Corpus ID: 142746674
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…
Expand
2000
2000
Defining and Implementing Closed, Domain-Specific Languages
R. Kieburtz
2000
Corpus ID: 11926387
A losed domain-spe i language (DSL) is a standalone, de larative language that annot easily be embedded into an existing, wide…
Expand
1998
1998
Colimit library for graph transformations and algebraic development techniques
D. Wolz
1998
Corpus ID: 8848682
1998
1998
A knowledge-based system for hardware-software partitioning
M. López
,
C. Iglesias
,
J. López
Proceedings Design, Automation and Test in Europe
1998
Corpus ID: 634481
This paper presents SHAPES, a tool for hardware-software partitioning. It is based on two main paradigms: the implementation of…
Expand
1997
1997
Compiling and supporting skeletons on MPP
Susanna Pelagatti
Proceedings. Third Working Conference on…
1997
Corpus ID: 17157958
Parallel programming needs a high level programming model in which compilers and run time supports take care of traditionally…
Expand
1988
1988
Locally Governed Trees and Dependecncy Parsing
H. Jäppinen
,
E. Lassila
,
A. Lehtola
International Conference on Computational…
1988
Corpus ID: 15292273
'BJ-::~ paper desc[J.~s the notion of ]pcall.y gove~:ned t~:ees as a n<x]el of sttuCtu17ally [estrfcted dependency st~:uctures of…
Expand
1972
1972
A model for the formal definition of programming languages
K. Culík
1972
Corpus ID: 62566059
An operational model which allows the complete formal definition of the full syntax and, particularly, semantics of programming…
Expand