Sciweavers

13306 search results - page 168 / 2662
» Theoretical Computer Science
Sort
View
126
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...
122
Voted
SPIN
2004
Springer
15 years 11 months ago
IF Validation Environment Tutorial
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
ACSC
2002
IEEE
15 years 11 months ago
A Functional Taxonomy for Software Watermarking
Jasvir Nagra, Clark D. Thomborson, Christian S. Co...