Samsung Electronics Co., Ltd.

International Business Machines Corporation

Ara Cho

Sung-Boem Park

Amir Nahir

Vitali Sokhin

Wisam Kadry

Jin Sung Park

Mooserk Park

Jin-Sung Park

Jeahwan Go

Mingyu Kim

Miyoung Yoo

Youngmin Ko

Jieun Yeon

Sukwon Choi

Changjoo Chai

Byul Namkoong

A server and a control method are provided. The server includes a communication interface for performing communication with a plurality of electronic devices and a plurality of sensing devices, and at least one processor configured to identify a sensing device corresponding to a user's location from among the plurality of sensing devices based on information received from at least one of the plurality of electronic devices and the plurality of sensing devices through the communication interface, and control the communication interface to transmit a signal for controlling a target electronic device among the plurality of electronic devices to the target electronic device based on sensing data received from the identified sensing device.

Server and control method for determining a target electronic device

An air conditioning device includes an air purifier, a sensor, a communicator, and a processor. The sensor is configured to measure an air pollution level. The communicator comprises circuitry and configured to communicate with a server. The processor is configured to activate the sensor in a state where the air purifier is not driven, in response to receiving a first signal requesting an air pollution level state information from the server based on a location of a mobile terminal, transmit a second signal indicating that the air conditioning device needs to be driven to the server based on the air pollution level measured by the sensor, and drive the air purifier in response to a driving instruction received from the server.

Air conditioning device and control method thereof

An electronic apparatus and a controlling method thereof are provided. A server apparatus communicatively connected with a plurality of electronic apparatuses constituting an internet of things (IoT) includes a communication interface, and a processor configured to, based on receiving a request of a service from an application executed in a user terminal apparatus being received through the communication interface, determine data corresponding to the request and an electronic apparatus for receiving the data among the plurality of electronic apparatuses, determine a time cycle for receiving the data from the electronic apparatus based on the service, control the communication interface to transmit a request for transmitting the data according to the time cycle to the electronic apparatus, and based on receiving the data from the electronic apparatus at an interval of the time cycle through the communication interface, provide the service based on the received data.

Server apparatus and controlling method thereof

A method, apparatus and computer program product to be employed by a hardware component under validation, wherein the hardware component having a plurality of processing units each belonging to one of at least two types, such that one of the at least two types of processing units is less error-prone then a remainder of the at least two types. The method comprising: designating one of the processing units of the hardware component under validation that belongs to the less error-prone type as a manager processing unit; initiating execution of a tester program code for testing processing units, by processing units of the hardware component other than the manager processing unit; and, monitoring by the manager processing unit the status of the processing units during execution of the tester program code.

Validation of multiprocessor hardware component

A method, apparatus and computer program product to be employed by a hardware component under validation, wherein the hardware component having a plurality of processing units each belonging to one of at least two types, such that one of the at least two types of processing units is less error-prone than a remainder of the at least two types. The method comprising: designating one of the processing units of the hardware component under validation that belongs to the less error-prone type as a manager processing unit; initiating execution of a tester program code for testing processing units, by processing units of the hardware component other than the manager processing unit; and, monitoring by the manager processing unit the status of the processing units during execution of the tester program code.

A verification method of a system on chip includes receiving a test generator and an exception handler; generating, by the test generator, a test program including an exception-causing instruction based on a test template; executing a first instruction at a first operating state as the test program is executed; stopping the execution of the test program and performing a fixed instruction sequence included in the exception handler when the exception-causing instruction is executed during the execution of the test program; and resuming the test program from a second instruction at a second operating state set after the fixed instruction sequence is performed, the second instruction corresponding to an address adjacent to an address of the exception-causing instruction.

System on chip and verification method thereof

A method, apparatus and product for test generation. The method comprises generating a first set of instructions for a hardware component, that are to be executed when operating in a first mode of operation; in response to a parsed template statement being a marker statement, generating an intermediary set of one or more instructions to cause the hardware component to change the mode of operation to a second mode in accordance with the marker instruction, and modifying the expected mode of the hardware component to a second mode; and generating a second set of instructions for the hardware component, that are to be executed when operating in the second mode of operation. The generation of instructions comprises determining the expected mode and generating instructions in accordance with the expected mode of the hardware component. The generation is performed without having an expected full state of the hardware component.

Growing community of inventors

Hwaseong-si, South Korea

Ara Cho