Výsledky vyhledávání - • Computing methodologies → Symbolic and algebraic manipulation Program synthesis

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

    Recompiling QAOA Circuits on Various Rotational Directions Autor Jang, Enhyeok, Ha, Dongho, Choi, Seungwoo, Kim, Youngmin, Kwon, Jaewon, Lee, Yongju, Ahn, Sungwoo, Kim, Hyungseok, Ro, Won Woo

    Vydáno: ACM 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ískat plný text
    Konferenční příspěvek
  2. 2

    Synthesis of custom processors based on extensible platforms Autor Sun, Fei, Ravi, Srivaths, Raghunathan, Anand, Jha, Niraj K.

    ISBN: 0780376072, 9780780376076
    ISSN: 1092-3152
    Vydáno: New York, NY, USA ACM 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ískat plný text
    Konferenční příspěvek
  3. 3

    An architectural transformation program for optimization of digital systems by multi-level decomposition Autor Chatterjee, Abhijit, Roy, Rabindra K.

    ISBN: 9780897915779, 0897915771
    ISSN: 0738-100X
    Vydáno: New York, NY, USA ACM 01.07.1993
    “…Most behavioral synthesis tools perform limited architectural transformations to optimize hardware…”
    Získat plný text
    Konferenční příspěvek
  4. 4

    Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

    ISBN: 0780376072, 9780780376076
    Vydáno: New York, NY, USA ACM 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ískat plný text
    Konferenční příspěvek
  5. 5

    Synthesis from Examples: Interaction Models and Algorithms Autor Gulwani, S.

    ISBN: 9781467350266, 1467350265
    Vydáno: IEEE 01.09.2012
    “…Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences…”
    Získat plný text
    Konferenční příspěvek