Sciweavers

10666 search results - page 187 / 2134
» Quantum programming languages
Sort
View
SIGADA
1998
Springer
14 years 2 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
14 years 2 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
SIGADA
1998
Springer
14 years 2 months ago
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
John A. Reisner, Zeenat Lainwala, Thomas J. Peters...