Search Results for author:
Found 2 papers, 0 papers with code
Learning Axioms to Compute Verifiable Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks
We target the problem of proving the semantic equivalence between two complex expressions represented as typed trees, and demonstrate our system on expressions from a rich multi-type symbolic language for linear algebra.
PALMED: Throughput Characterization for Superscalar Architectures -- Extended Version
This paper introduces a dual equivalent representation: The resource mapping of an architecture is an abstract model where, to be executed, an instruction must use a set of abstract resources, themselves representing combinations of execution ports.
Hardware Architecture Performance
Cannot find the paper you are looking for? You can
Submit a new open access paper.
