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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We study the problem of automatically analyzing the worst-case resource usage of procedures with several arguments. Existing… 
2008
2008
Crop yields are highly variable spatially and temporally as a result of complex interactions among topography, weather conditions… 
2001
2001
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
272). However, in contrast to previous published reports of a correlation between viral load and CTL magnitude when A2 restricted… 
Review
1996
Review
1996
This paper surveys the work of many researchers on rewriting logic since it was first introduced in 1990. The main emphasis is on…