562 search results - page 5 / 113 » Concurrent Turing Machines |
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
CIE
2009
Springer
15 years 4 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
geometrical computation 4: small Turing universal signal machines J
114
click to vote
COLT
1992
Springer
15 years 1 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...