Samsung Electronics Co., Ltd.

Hyun Sun Park

Jun Haeng Lee

Sehwan Lee

Yongwoo Lee

Changwook Jeong

Hyojin Choi

Yoojin Kim

Jun-Woo Jang

In Huh

Youngmin Oh

Channoh Kim

Younsik Park

Jaecheol Lee

Seungju Kim

A memory power control command may be received from a host and may include either a first power control command or a second power control command. The first power control command may correspond to the host not using a memory device, and the second power control command may correspond to the host using the memory device. It may be determined whether to activate a memory processor based on the memory power control command and on memory processor activation information. When the memory processor is activated based on the determining, an operation of the memory processor may be started based on the first power control command or ended based on the second power control command. When the memory processor is inactivated based on the determining, it may be determined whether to activate or inactivate the memory based on the memory power control command.

Method and device with memory processing control

A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.

Method and apparatus with system verification based on reinforcement learning

A computing method and device with data sharing are provided. The method includes loading, by a loader, input data of an input feature map stored in a memory in loading units according to a loading order, storing, by a buffer controller, the loaded input data in a reuse buffer of an address rotationally allocated according to the loading order, and transmitting, by each of a plurality of senders, to an executer respective input data corresponding to each output data of respective convolution operations among the input data stored in the reuse buffer, wherein portions of the transmitted respective input data overlap other.

Computing method and device with data sharing

Growing community of inventors

Seoul, South Korea

Hyun Sun Park