Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract data typeAbstract interpretationAnalysis of algorithmsAutomata theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
A Generalized Higher-Order Chemical Computation Model
2004
2004
Executable HybridUML and Its Application to Train Control Systems
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the… 
2001
2001
Components as coalgebras
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center… 
1998
1998
A knowledge-based system for hardware-software partitioning
This paper presents SHAPES, a tool for hardware-software partitioning. It is based on two main paradigms: the implementation of… 
1992
1992
A framework for automatic DFA system development
1990
1990
An algebraic and predicate logic approach to representation and reasoning in machine design
Highly Cited
1990
Highly Cited
1990
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an… 
1986
1986
MUPPET: a programming environment for message-based multiprocessors
1986
1986
Framework for formulation and analysis of parallel computation structures
1978
1978
Four solution techniques for a general one machine scheduling problem: A comparative study
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)