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.
2018
2018
Conceptual design of an intelligent ultrasonic crimping process using machine learning algorithms
2011
2011
Model Integration and Cyber Physical Systems: A Semantics Perspective
Recent attention to Cyber Physical Systems (CPS) is driven by the need for deeper integration of design disciplines that dominate… 
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… 
Highly Cited
1996
Highly Cited
1996
A case study in architectural modeling: the AEGIS system
Software architecture is receiving increasingly attention as a critical design level for software systems. However the current… 
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… 
1977
1977
The probabilistic character of relevance
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)