Search Sciweavers | Sciweavers

244 search results - page 5 / 49

» Turing machines and bimachines

164

click to vote

CSFW
2006
IEEE

108views Security Privacy» more CSFW 2006»

Simulation-Based Security with Inexhaustible Interactive Turing Machines

16 years 2 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 »

129

click to vote

CIE
2007
Springer

108views Applied Computing» more CIE 2007»

The Complexity of Small Universal Turing Machines

16 years 6 days ago

Download www.bcri.ucc.ie

Damien Woods, Turlough Neary

claim paper

Read More »

103

click to vote

CORR
2002
Springer

90views Education» more CORR 2002»

Hypercomputation: computing more than the Turing machine

15 years 5 months ago

Download www.hypercomputation.net

Toby Ord

claim paper

Read More »

115

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 »

146

click to vote

TCS
2010

117views Theoretical Computer Science» more TCS 2010»

Theory of one-tape linear-time Turing machines

15 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers