Sciweavers

12289 search results - page 259 / 2458
» computing 2006
Sort
View
CGA
2006
15 years 6 months ago
Visualization of Structured Nonuniform Grids
Kirk Riley, Yuyan Song, Martin Kraus, David S. Ebe...
ACL2
2006
ACM
16 years 16 days ago
ACL2 in DrScheme
Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2
2006
ACM
16 years 16 days 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 7 months ago
Challenges for Data Mining in Distributed Sensor Networks
Luca Lombardi, Paolo Lombardi, Virginio Cantoni