Search Sciweavers | Sciweavers

17298 search results - page 215 / 3460

» Abstract computing machines

click to vote

DAC
2007
ACM

85views Computer Architecture» more DAC 2007»

The Case for the Precision Timed (PRET) Machine

16 years 4 months ago

Download www1.cs.columbia.edu

Stephen A. Edwards, Edward A. Lee

claim paper

Read More »

105

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

105

Voted

CIE
2007
Springer

108views Applied Computing» more CIE 2007»

The Complexity of Small Universal Turing Machines

15 years 10 months ago

Download www.bcri.ucc.ie

Damien Woods, Turlough Neary

claim paper

Read More »

107

Voted

SBACPAD
2006
IEEE

104views Hardware» more SBACPAD 2006»

Dual-Thread Speculation: Two Threads in the Machine are Worth Eight in the Bush

15 years 9 months ago

Download www.warg.nu

Fredrik Warg, Per Stenström

claim paper

Read More »

click to vote

CCA
2005
Springer

87views Theoretical Computer Science» more CCA 2005»

Randomness and Universal Machines

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers