Search Sciweavers | Sciweavers

10271 search results - page 195 / 2055

» Computer Science

108

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

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

15 years 10 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

Voted

STACS
2005
Springer

110views Theoretical Computer Science» more STACS 2005»

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

15 years 10 months ago

Download www.cse.iitd.ernet.in

Surender Baswana, Vishrut Goyal, Sandeep Sen

claim paper

Read More »

103

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 10 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

127

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

15 years 10 months ago

Download www.informatik.uni-trier.de

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

claim paper

Read More »

click to vote

STACS
2005
Springer

91views Theoretical Computer Science» more STACS 2005»

Fast Pruning of Geometric Spanners

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers