Sciweavers

10575 search results - page 163 / 2115
» Programming Languages
Sort
View
SIGADA
1998
Springer
15 years 11 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 11 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
SIGADA
1998
Springer
15 years 11 months ago
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
John A. Reisner, Zeenat Lainwala, Thomas J. Peters...
153
Voted
PLDI
1997
ACM
15 years 11 months ago
Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling
Glenn Ammons, Thomas Ball, James R. Larus