Sciweavers

10935 search results - page 56 / 2187
» Neural Programming Language
Sort
View
166
Voted
POPL
2000
ACM
15 years 11 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
169
Voted
POPL
2000
ACM
15 years 11 months ago
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Zhendong Su, Manuel Fähndrich, Alexander Aike...
155
Voted
PLDI
1999
ACM
15 years 11 months ago
A Fast Fourier Transform Compiler
Matteo Frigo
PLDI
1999
ACM
15 years 11 months ago
Control CPR: A Branch Height Reduction Optimization for EPIC Architectures
Michael S. Schlansker, Scott A. Mahlke, Richard Jo...