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.
Highly Cited
2011
Highly Cited
2011
Multivariate amortized resource analysis
We study the problem of automatically analyzing the worst-case resource usage of procedures with several arguments. Existing… 
2008
2008
Management Effects on Relationships of Crop Yields with Topography Represented by Wetness Index and Precipitation
Crop yields are highly variable spatially and temporally as a result of complex interactions among topography, weather conditions… 
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
2001
Highly Cited
2001
Special Contributions HIV Pathogenesis and Prospects for Vaccine 4 From Talk to Action in Fighting AIDS in Developing 10 Countries
272). However, in contrast to previous published reports of a correlation between viral load and CTL magnitude when A2 restricted… 
Highly Cited
1998
Highly Cited
1998
Classification Of Machine-Printed And Handwritten Texts Using Character Block Layout Variance
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… 
1990
1990
An algebraic and predicate logic approach to representation and reasoning in machine design
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)