Sciweavers

12289 search results - page 113 / 2458
» computing 2006
Sort
View
SC
2006
ACM
15 years 9 months ago
OpenMP - OpenMP
Sanjiv Shah, Mark Bull
BIRTHDAY
2006
Springer
15 years 6 months ago
Completion Is an Instance of Abstract Canonical System Inference
Guillaume Burel, Claude Kirchner
BIRTHDAY
2006
Springer
15 years 6 months ago
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi