Sciweavers

10447 search results - page 238 / 2090
» The Philosophy of Computer Science
Sort
View
118
Voted
GI
2004
Springer
15 years 11 months ago
Implementing Scalable Position-Based Multicast for the Linux Kernel
Matthias Transier, Holger Füßler, Thoma...
RTA
2004
Springer
15 years 11 months ago
The Joinability and Unification Problems for Confluent Semi-constructor TRSs
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu O...
124
Voted
SPIN
2004
Springer
15 years 11 months ago
Using Fairness to Make Abstractions Work
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...
116
Voted
SPIN
2004
Springer
15 years 11 months ago
IF Validation Environment Tutorial
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...