Search Sciweavers | Sciweavers

10304 search results - page 211 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

GI
2004
Springer

108views Theoretical Computer Science» more GI 2004»

Implementing Scalable Position-Based Multicast for the Linux Kernel

15 years 7 months ago

Download subs.emis.de

Matthias Transier, Holger Füßler, Thoma...

claim paper

Read More »

click to vote

RTA
2004
Springer

83views Theoretical Computer Science» more RTA 2004»

The Joinability and Unification Problems for Confluent Semi-constructor TRSs

15 years 7 months ago

Download www.eng.mie-u.ac.jp

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu O...

claim paper

Read More »

click to vote

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

15 years 7 months ago

Download spinroot.com

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...

claim paper

Read More »

click to vote

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

15 years 7 months ago

Download spinroot.com

Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...

claim paper

Read More »

Voted

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers