Sciweavers

17920 search results - page 251 / 3584
» Recentering computer science
Sort
View
139
Voted
SOFSEM
2005
Springer
15 years 11 months ago
Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance
Heikki Hyyrö, Yoan J. Pinzon, Ayumi Shinohara
SPIN
2005
Springer
15 years 11 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...
SPIN
2005
Springer
15 years 11 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp