Search Sciweavers | Sciweavers

10392 search results - page 244 / 2079

» Introduction to Computer Science

128

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

16 years 3 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

124

click to vote

STACS
2005
Springer

110views Theoretical Computer Science» more STACS 2005»

All-Pairs Nearly 2-Approximate Shortest-Paths in O(n2 polylog n) Time

16 years 3 days ago

Download www.cse.iitd.ernet.in

Surender Baswana, Vishrut Goyal, Sandeep Sen

claim paper

Read More »

121

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

16 years 3 days ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

150

click to vote

STACS
2005
Springer

109views Theoretical Computer Science» more STACS 2005»

Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size

16 years 3 days ago

Download www.informatik.uni-trier.de

Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia

claim paper

Read More »

112

click to vote

STACS
2005
Springer

91views Theoretical Computer Science» more STACS 2005»

Fast Pruning of Geometric Spanners

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers