Sciweavers

12289 search results - page 259 / 2458
» computing 2006
Sort
View
CGA
2006
15 years 4 months ago
Visualization of Structured Nonuniform Grids
Kirk Riley, Yuyan Song, Martin Kraus, David S. Ebe...
ACL2
2006
ACM
15 years 10 months ago
ACL2 in DrScheme
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2
2006
ACM
15 years 10 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
ICPR
2006
IEEE
16 years 5 months ago
Challenges for Data Mining in Distributed Sensor Networks
Luca Lombardi, Paolo Lombardi, Virginio Cantoni