Search Sciweavers | Sciweavers

244 search results - page 5 / 49

» Turing machines and bimachines

179

click to vote

CSFW
2006
IEEE

108views Security Privacy» more CSFW 2006»

Simulation-Based Security with Inexhaustible Interactive Turing Machines

16 years 21 days ago

Download people.inf.ethz.ch

Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...

Ralf Küsters

claim paper

Read More »

137

click to vote

CIE
2007
Springer

108views Applied Computing» more CIE 2007»

The Complexity of Small Universal Turing Machines

16 years 24 days ago

Download www.bcri.ucc.ie

Damien Woods, Turlough Neary

claim paper

Read More »

106

click to vote

CORR
2002
Springer

90views Education» more CORR 2002»

Hypercomputation: computing more than the Turing machine

15 years 6 months ago

Download www.hypercomputation.net

Toby Ord

claim paper

Read More »

122

click to vote

CORR
2011
Springer

165views Education» more CORR 2011»

Reactive Turing Machines

15 years 1 months ago

Download www.win.tue.nl

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

claim paper

Read More »

155

click to vote

TCS
2010

117views Theoretical Computer Science» more TCS 2010»

Theory of one-tape linear-time Turing machines

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers