公开(公告)号：US10540259B1

公开(公告)日：2020-01-21

申请号：US15675580

申请日：2017-08-11

Applicant: Amazon Technologies, Inc.

Inventor： Reto Kramer ,  Anssi Alaranta ,  Jeffrey Hoffman ,  Abhishek Singh ,  David Nunnerley

IPC: G06F11/36

Abstract: A debugger core captures one or more inputs to a distributed application during live execution of the distributed application in a production environment. The debugger core applies the one or more inputs to the distributed application during replay execution of the distributed application in a debugging environment and performs debugging of the distributed application in the debugging environment.

公开(公告)号：US09929971B2

公开(公告)日：2018-03-27

申请号：US14733892

申请日：2015-06-08

Applicant: Amazon Technologies, Inc.

Inventor： David John Ward, Jr. ,  David Nunnerley ,  Matthew S. Garman

IPC: H04L12/911 ,  H04L29/08 ,  G06Q30/02 ,  H04L12/14 ,  H04L12/24 ,  G06F9/44 ,  G06F9/50

CPC classification number: H04L47/72 ,  G06F9/452 ,  G06F9/5044 ,  G06F9/5077 ,  G06F2209/5014 ,  G06Q10/02 ,  G06Q10/06 ,  G06Q10/06315 ,  G06Q30/02 ,  H04L12/14 ,  H04L12/1492 ,  H04L41/00 ,  H04L41/0893 ,  H04L67/10 ,  H04L67/18 ,  H04L67/34

Abstract: Methods and apparatus for flexible-location reservations and pricing for network-accessible resources are disclosed. A system includes a plurality of resources of a provider network distributed across multiple locations, and a resource manager. The resource manager implements a programmatic interface to allow a client to specify a flexible location option for a resource reservation request, indicating that the resource manager is to select one or more locations at which to reserve resource capacity. When a reservation request with the flexible location option specified is received, the resource manager selects a particular location based at least in part on heuristics using resource utilization data. In response to a resource activation request for the reservation, the resource manager activates a resource at a launch location selected from the multiple locations.

公开(公告)号：US20240330735A1

公开(公告)日：2024-10-03

申请号：US18193358

申请日：2023-03-30

Applicant: Amazon Technologies, Inc.

Inventor： Yunong Shi ,  Marijn J. Heule ,  Michael William Whalen ,  Bruno Dutertre ,  Eric M Kessler ,  Benjamin Kiesl-Reiter ,  Robert Jones ,  David Nunnerley

IPC: G06N10/60 ,  G06N10/20 ,  G06N10/40

CPC classification number: G06N10/60 ,  G06N10/20 ,  G06N10/40

Abstract: Techniques for encoding quantum circuit mapping problems as SAT solver optimization problems are disclosed. Quantum circuit mapping often requires the use of SWAP gates in order to configure logical quantum computations to be executed using fixed quantum hardware device layouts. A quantum compilation service takes a logical quantum circuit, a physical qubit connectivity graph, and a requested number of SWAP gates to solve the mapping using and encodes the information into a Conjunctive Normal Form (CNF) equation using a layout-transition-based encoding scheme. The CNF equation is then provided to a SAT solver which attempts to determine an assignment for the mapping using the set number of SWAP gates requested. Multiple CNF equations corresponding to different requested numbers of SWAP gates may be solved for in parallel using multiple SAT solving instances.