Sciweavers

13306 search results - page 168 / 2662
» Theoretical Computer Science
Sort
View
GI
2004
Springer
16 years 10 days ago
Implementing Scalable Position-Based Multicast for the Linux Kernel
Matthias Transier, Holger Füßler, Thoma...
RTA
2004
Springer
16 years 9 days ago
The Joinability and Unification Problems for Confluent Semi-constructor TRSs
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu O...
139
Voted
SPIN
2004
Springer
16 years 9 days ago
IF Validation Environment Tutorial
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
156
Voted
ACSC
2002
IEEE
15 years 12 months ago
A Functional Taxonomy for Software Watermarking
Jasvir Nagra, Clark D. Thomborson, Christian S. Co...