152 search results - page 1 / 31 » Parallel Feedback Turing Computability |
CCGRID
2008
IEEE
13 years 6 months ago
2008
IEEE
CIE
2005
Springer
13 years 10 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
ECAL
2007
Springer
13 years 10 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
SOFSEM
2001
Springer
13 years 9 months ago
2001
Springer
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...