Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Model of computation

Known as: Models of computation, Computational formalism, Computational mechanism 
In computability theory and computational complexity theory, a model of computation is the definition of the set of allowable operations used in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Beyond energy, the growing number of defects in physical substrates is becoming another major constraint that affects the design… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
2010
Highly Cited
2010
In recent years the MapReduce framework has emerged as one of the most widely used parallel computing platforms for processing… Expand
Highly Cited
2004
Highly Cited
2004
Wireless sensor networks are composed of large numbers of tiny networked devices that communicate untethered. For large scale… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • table 1
Highly Cited
2004
Highly Cited
2004
The computational power of networks of small resource-limited mobile agents is explored. Two new models of computation based on… Expand
  • figure 1
Highly Cited
2003
Highly Cited
2003
Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2001
Highly Cited
2001
G' A. Linz, Peter. An introduction to formal languages and automata / Peter Linz'--3'd cd charrgcs ftrr the second edition wercl… Expand
Highly Cited
1998
Highly Cited
1998
We give a denotational framework (a "meta model") within which certain properties of models of computation can be compared. It… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1984
Highly Cited
1984
Abstract Reversible Cellular Automata are computer-models that embody discrete analogues of the classical-physics notions of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1979
Highly Cited
1979
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Highly Cited
1977
Highly Cited
1977
  • C. Hewitt
  • Artif. Intell.
  • 1977
  • Corpus ID: 40300945
A light sensing apparatus is described which employs a GaAsP MOS light-receiving element to which a potential is applied for… Expand