Amanote Research
Register
Sign In
A Provably Sound TAL for Back-End Optimization
doi 10.1145/781131.781155
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2003
Authors
Juan Chen
Dinghao Wu
Andrew W. Appel
Hai Fang
Publisher
ACM Press
Related search
Optimization Among Provably Equivalent Programs
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Innovative Systems for Front-End and Back-End Automation
JALA: Journal of the Association for Laboratory Automation
Statistically Sound Verification and Optimization for Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparison of Back-End Frameworks for Web Application Development
Zbornik Veleučilišta u Rijeci
A Portable and Optimizing Back End for the SML/NJ Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Workflow Scheduling for End-To-End Performance Optimization in Distributed Network Environments
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
End-To-End Optimization of Source Models for Speech and Audio Coding Using a Machine Learning Framework
Provably Correct Compiler Generation
DAIMI Report Series
Auditory Neuroanatomy: A Sound Foundation for Sound Processing
Frontiers in Neuroanatomy
Anatomy
Neuroscience
Cellular
Molecular Neuroscience
