Sciweavers

12334 search results - page 112 / 2467
» The Use of C
Sort
View
POS
1994
Springer
15 years 8 months ago
START: A Linguistic Reflection Tool Using Hyper-Program Technology
Graham N. C. Kirby, Richard C. H. Connor, Ronald M...
105
Voted
JLP
2008
72views more  JLP 2008»
15 years 4 months ago
Using probabilistic Kleene algebra pKA for protocol verification
A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Mo...
ICIP
1999
IEEE
16 years 5 months ago
Robust Coding of 3D Graphic Models Using Mesh Segmentation and Data Partitioning
Zhidong Yan, Sunil Kumar, Jiankun Li, C. C. Jay Ku...