Search Results - • Computing methodologies → Symbolic and algebraic manipulation Program synthesis

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

“… To execute QAOA circuits on a real quantum computing device, Hamiltonians composed of predefined specific rotations (e.g., ZZ and X…”
Get full text

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

“… 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…”
Get full text

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

“…Most behavioral synthesis tools perform limited architectural transformations to optimize hardware…”
Get full text

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

“…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…”
Get full text

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

“…Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences…”
Get full text