Search Sciweavers | Sciweavers

5608 search results - page 59 / 1122

» On the Theory of Matchgate Computations

112

click to vote

BIRTHDAY
2009
Springer

120views Applied Computing» more BIRTHDAY 2009»

A Complete, Co-inductive Syntactic Theory of Sequential Control and State

16 years 29 days ago

Download www.brics.dk

Kristian Støvring, Søren B. Lassen

claim paper

Read More »

115

click to vote

STACS
2009
Springer

118views Theoretical Computer Science» more STACS 2009»

Profinite Methods in Automata Theory

16 years 28 days ago

Download www.liafa.jussieu.fr

Jean-Eric Pin

claim paper

Read More »

133

click to vote

FOCS
2007
IEEE

166views Theoretical Computer Science» more FOCS 2007»

Spectral Graph Theory and its Applications

16 years 15 days ago

Download www.cs.yale.edu

Daniel A. Spielman

claim paper

Read More »

134

click to vote

IPPS
2006
IEEE

87views Distributed And Parallel Com...» more IPPS 2006»

A general data dependence analysis to nested loop using integer interval theory

16 years 5 days ago

Download www.cecs.uci.edu

Jing Zhou, Guosun Zeng

claim paper

Read More »

202

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers