Výsledky vyhľadávania - • Computing methodologies → Symbolic and algebraic manipulation Program synthesis
-
1
Recompiling QAOA Circuits on Various Rotational Directions
Vydavateľské údaje: ACM 13.10.2024Vydané v 2024 33rd International Conference on Parallel Architectures and Compilation Techniques (PACT) (13.10.2024)“… To execute QAOA circuits on a real quantum computing device, Hamiltonians composed of predefined specific rotations (e.g., ZZ and X…”
Získať plný text
Konferenčný príspevok.. -
2
Synthesis of custom processors based on extensible platforms
ISBN: 0780376072, 9780780376076ISSN: 1092-3152Vydavateľské údaje: New York, NY, USA ACM 10.11.2002Vydané v Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)“… instructions.In this work, we describe an automatic methodology to select custom instructions to augment an extensible processor, in order to maximize its efficiency for a given application program…”
Získať plný text
Konferenčný príspevok.. -
3
An architectural transformation program for optimization of digital systems by multi-level decomposition
ISBN: 9780897915779, 0897915771ISSN: 0738-100XVydavateľské údaje: New York, NY, USA ACM 01.07.1993Vydané v 30th ACM/IEEE Design Automation Conference (01.07.1993)“…Most behavioral synthesis tools perform limited architectural transformations to optimize hardware…”
Získať plný text
Konferenčný príspevok.. -
4
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
ISBN: 0780376072, 9780780376076Vydavateľské údaje: New York, NY, USA ACM 10.11.2002Vydané v IEEE/ACM International Conference on Computer-Aided Design 2002 (10.11.2002)“…On behalf of the ICCAD 2002 Executive and Technical Program Committees, we would like to welcome you to the International Conference on Computer-Aided Design, November 10th through 14th…”
Získať plný text
Konferenčný príspevok.. -
5
Synthesis from Examples: Interaction Models and Algorithms
ISBN: 9781467350266, 1467350265Vydavateľské údaje: IEEE 01.09.2012Vydané v 2012 4th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC (01.09.2012)“…Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences…”
Získať plný text
Konferenčný príspevok..

