378 search results - page 54 / 76 » Complete Interval Arithmetic and Its Implementation on the C... |
146
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
131
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
134
click to vote
COMPSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
152
click to vote
VRML
2000
ACM
15 years 8 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
126
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...