Abstract:
PURPOSE: A system, a method, and storing medium storing the method capable of detecting a material race in an OpenMP program are provided to exactly determine whether access events are parallel. CONSTITUTION: A preprocessor(20) generates a transformed target code. An on-the-fly analyzer(30) classifies access events about a plurality of concurrent threads. The on-the-fly analyzer detects a previous access event and access event having a parallel relation as a race. The on-the-fly analyzer generates a race detecting result.
Abstract:
다른 디바이스 또는 다른 디바이스 상에 설치된 어플리케이션과의 상호작용을 수행하기 위한 리소스들이 정의된 아키텍처를 포함하는 IoT 디바이스가 제공된다. IoT 디바이스의 아키텍처에 정의된 리소스들 중 적어도 하나에 대해서는 IoT 디바이스와 연관된 GS1 코드 정보를 포함하는 속성 정보가 속성으로서 정의된다.
Abstract:
PURPOSE: A method and apparatus for multi-hop time synchronization for wireless sensor networks are provided to flexibly change a network configuration. CONSTITUTION: A gateway(110) receives a request message. The gateway creates a response message including a reference time. The gateway transmits the created response message to an intermediate node. The gateway creates a response follow up message including a process time from the reference time to the response message receiving time. The gateway outputs the created response follow up message to an intermediate node.