152 search results - page 1 / 31 » Parallel Feedback Turing Computability |
CCGRID
2008
IEEE
13 years 8 months ago
2008
IEEE
CIE
2005
Springer
13 years 11 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
14 years 13 days 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 10 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 11 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 ...