Sciweavers

10935 search results - page 185 / 2187
» Neural Programming Language
Sort
View
SIGADA
1998
Springer
15 years 10 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
15 years 10 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
SIGADA
1998
Springer
15 years 10 months ago
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
John A. Reisner, Zeenat Lainwala, Thomas J. Peters...
143
Voted
PLDI
1997
ACM
15 years 10 months ago
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling
Glenn Ammons, Thomas Ball, James R. Larus