Search Sciweavers | Sciweavers

10271 search results - page 90 / 2055

» Computational science

click to vote

RTA
2007
Springer

97views Theoretical Computer Science» more RTA 2007»

Formal Verification of an Optimizing Compiler

15 years 6 months ago

Download pauillac.inria.fr

Xavier Leroy

claim paper

Read More »

click to vote

RTA
2007
Springer

102views Theoretical Computer Science» more RTA 2007»

Random Descent

15 years 6 months ago

Download www.phil.uu.nl

Vincent van Oostrom

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 6 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

79views Theoretical Computer Science» more SOFSEM 2007»

Interaction and Realizability

15 years 6 months ago

Download www.sofsem.cz

Manfred Broy

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

83views Theoretical Computer Science» more SOFSEM 2007»

Point-to-Point Shortest Path Algorithms with Preprocessing

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers