Search Sciweavers | Sciweavers

5964 search results - page 73 / 1193

» A theory of speculative computation

105

click to vote

FOCS
2007
IEEE

166views Theoretical Computer Science» more FOCS 2007»

Spectral Graph Theory and its Applications

15 years 10 months ago

Download www.cs.yale.edu

Daniel A. Spielman

claim paper

Read More »

115

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

15 years 10 months ago

Download www.cecs.uci.edu

Jing Zhou, Guosun Zeng

claim paper

Read More »

177

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

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

15 years 10 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

81views Applied Computing» more BIRTHDAY 2005»

On the Proof Theory of the Existence Predicate

15 years 10 months ago

Download www.phil.uu.nl

Matthias Baaz, Rosalie Iemhoff

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers