Optimization Among Provably Equivalent Programs

Journal of the ACM - United States
doi 10.1145/322033.322046
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2010English

A Provably Sound TAL for Back-End Optimization

2003English

Provably Correct Compiler Generation

DAIMI Report Series
1992English

Towards Automatic Optimization of MapReduce Programs

2010English

Challenges in Code Optimization of Parallel Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Provably Secure Cryptographic Constructions

2012English

Optimization of Logic Programs With Dynamic Scheduling

1997English

Provably Bounded-Optimal Agents

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Clustering With T-Sne, Provably

SIAM Journal on Mathematics of Data Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy