Samsung Electronics Co., Ltd.

City University of New York

Jin-Sae Jung

Young-chul Cho

Hee-jun Shim

Yen-Jo Han

Hyun-Sik Kim

Du-Seok Kim

Seong-Hoon Jeong

Giu-Yeol Kim

Dong-yun Shin

In-Ho Park

Kyle Kim

Jung-Min So

Kyoung-Lae Noh

Myung-Jong Lee

Min-Wook Ahn

Moo-Kyoung Chung

Jianliang Zheng

A simulation apparatus and a distribution simulation system are disclosed. The simulation apparatus, according to one example, includes a simulation executer configured to execute a simulation task, a data storage configured to store data related to the simulation task based on a data storage policy that is set in advance of the execution of the simulation tasks, and a data updater configured to update the data stored in the data storage to most recent data by comparing the data stored in the data storage with data stored in another simulation apparatus.

Simulation device and distribution simulation system

An apparatus for generating a test case includes a constrained description generator configured to define a plurality of constrained verification spaces in a total verification space, and generate a constrained description for each of the plurality of constrained verification spaces; and a test case generator configured to generate a test case using the constrained description.

Apparatus and method for generating test cases for processor verification, and verification device

A channel allocation method and a communication device are provided. The channel allocation method includes determining a communication device type based on information received from neighboring communication devices, allocating a channel according to the communication device type, and transmitting the communication device type and information about the allocated channel to the neighboring communication devices.

Channel allocation method in wireless mesh network and communication device using the method

Exemplary embodiments disclose a method for generating an assertion based on a user program code. The method may include receiving a user program comprising at least one assertion directive, a compiled result of the user program, and architecture information of a processor, and generating, based on the compiled result of the user program and the architecture information of the processor, an assertion which states an operation that the processor needs to perform in accordance with a code of the user program indicated by each of the at least one assertion directive.

Apparatus and method for generating assertion based on user program code, and apparatus and method for verifying processor using assertion

An apparatus for detecting a source code error location in a mixed-mode program is disclosed. The apparatus may include a compiler, a mapping table generator, a simulator, a comparison data generator and an error location detector. The apparatus extracts low-level data while simulating a verification program and while simulating a reference program. The low-level data is mapped to mapping tables for a verification program and a reference program, and by comparing the tables it is determined if there is an error in the mixed-mode program and if so, where.

Apparatus and method for detecting location of source code error in mixed-mode program

A method for providing a multi-screen service is provided. The method includes transmitting, by a remote control device, a control signal to a cradling stand, receiving, by a mobile phone, the control signal from the remote control device via the cradling stand, and in response to the control signal, transmitting screen information to an external display device via the cradling stand, wherein the mobile phone is to transmit call information to the external display device via the cradling stand if a call is received.

System and method for providing multi-screen service of mobile terminal

A routing method of a wireless communication system is provided implementing advantageous features of both the tree routing and the link state routing. In the routing method, the system generates an adaptive tree table which defines a network in a tree structure of at least one branch with at least one node and each node generates a link state table which includes information on neighbor nodes, such that the packets are routed on the basis of the adaptive tree table and the link state table. Advantageous mechanisms of the tree routing and the link state routing are combined, thereby it is possible to eliminate most single point of failures of conventional tree routing and provide shorter paths compared with conventional tree routing.

Tree-guided distributed link state routing method

Disclosed is a method for providing multi-screen service of a mobile terminal, the method including requesting and obtaining information on a second display device if the mobile terminal is connected with a cradling stand; activating a predetermined wireless communication interface and searching for a peripheral device using a network manager so as to connect the mobile terminal with the peripheral device; if the multifunctional remote control device is found and is connected with the mobile terminal, managing linkage between the mobile terminal and the multifunctional remote control device using an interaction manager; and if a service request signal is received from the multifunctional remote control device for the mobile terminal, changing screen information of the mobile terminal in accordance with characteristics of the second display device using a display manager and displaying the changed screen information on a display unit of the second display device.

Growing community of inventors

Yongin-si, South Korea

Jin-Sae Jung