-
公开(公告)号：KR1020010057785A
公开(公告)日：2001-07-05
申请号：KR1019990061193
申请日：1999-12-23
IPC: G06F11/28
Abstract: PURPOSE: A method for debugging a parallel program is provided to improve the quality of a program, and to reduce the time for developing the program by instantaneously stopping an execution of the program using a check point, and by performing the program after check. CONSTITUTION: It is judged whether an execution code is terminated(200). When the execution code is terminated, a debugging is terminated. In case that the execution code isn't terminated, it is judged whether the execution code is a real-time or a parallel process statement(210). In case that the execution code is the real-time or a parallel process statement, a support process of an execution time is performed(220). In case that the execution code isn't the real-time or the parallel process statement, it is judged whether a check point is set on the execution code(230). In case that the check point is set, a process of the check point is performed(240). A general execution statement is processed(250).
Abstract translation: 目的：提供一种用于调试并行程序的方法，以提高程序的质量，并通过使用检查点立即停止程序的执行，并通过在检查后执行程序来减少开发程序的时间。 构成：判断执行代码是否终止（200）。 执行代码终止时，调试结束。 在执行代码未终止的情况下，判断执行代码是实时还是并行处理语句（210）。 在执行代码是实时或并行处理语句的情况下，执行执行时间的支持处理（220）。 在执行代码不是实时或并行处理语句的情况下，判断是否在执行代码上设置了检查点（230）。 在检查点被设置的情况下，执行检查点的处理（240）。 处理一般执行语句（250）。
-
-
公开(公告)号：KR100121767B1
公开(公告)日：1997-11-22
申请号：KR1019940033346
申请日：1994-12-08
IPC: G06F11/28
Abstract: A parallel chill program debugging method using the event history, comprising the steps of: generating the event history file, judging the error generation of the access anomaly according to the generating the active program related graph, repeating the said two steps after compensating the error of the access anomaly, and performing the trace of the parallel chill program performing.
Abstract translation: 一种使用事件历史的并行冷却程序调试方法，包括以下步骤：产生所述事件历史文件，根据生成所述活动程序相关图来判断所述访问异常的错误生成，在补偿所述事件历史文件的错误之后重复所述两个步骤 访问异常，并执行平行冷却程序的跟踪。
-
-
公开(公告)号：KR1019950022611A
公开(公告)日：1995-07-28
申请号：KR1019930026130
申请日：1993-12-01
IPC: H04M3/22
Abstract: 본 발명은 CCITT각 권고한 교환기용 프로그램 언어인 칠(CHILL : CCITT High Level Language) 언어의 케이스 구조의 코드 생성방법에 관한 것으로, 운영체제의 도움을 받으며 중앙처리보드(102) 상에서 수행되는 컴파인러가 칠 케이스 구조의 코드를 생성할 때 기존의 상용화된 컴파일러가 생성하는 케이스 코드보다 비교 횟수가 적은 케이스 구조 뿐만 아니라 다른 고급 언어(high level language)의 케이스 구조 코드 생성에도 적용되어 효율적인 코드를 생성할 수 있다.
-
Patent Agency Ranking
-
公开(公告)号：KR1020160014174A
公开(公告)日：2016-02-11
申请号：KR1020140095852
申请日：2014-07-28
Applicant: 한국전자통신연구원
IPC: G06F17/50
CPC classification number: G06F17/5009
Abstract: 마이크로시뮬레이션시스템및 방법이개시된다. 마이크로시뮬레이션시스템은대규모에이전트기반의마이크로시뮬레이션의실행객체인에이전트의소셜리티를이용하여에이전트들을그룹핑하고, 각에이전트그룹을각 클라이언트컴퓨팅노드에할당하여, 종속성이있는에이전트들이동일한클라이언트컴퓨팅노드에서실행되게하는마스터컴퓨팅노드및 마스터컴퓨팅노드로부터상호간소셜리티가존재하는에이전트들로그룹핑된에이전트그룹을할당받고, 할당된에이전트그룹을실행하는복수의클라이언트컴퓨팅노드를포함한다.
Abstract translation: 公开了一种用于微模拟的系统和方法。 用于微模拟的系统包括：主计算节点，其使用作为基于代理的大型微模拟的可执行对象的代理的社会性来分组代理，并且将每个代理组分配给每个客户端计算节点，以使得具有 在同一个客户端计算节点中执行的依赖关系; 以及多个客户端计算节点，其接收代理组，其中从主计算节点分配的具有彼此之间的社会性的代理分组在一起，并且执行分配的代理组。 本发明的目的是通过在分布式计算节点中执行大规模可执行对象时，通过使用对象社会性提取可执行对象的依赖性并允许在多个节点之间最小化节点之间的消息传输的数量来实现有效的微模拟 具有在相同计算节点中执行的依赖关系的对象。
-
公开(公告)号：KR101390787B1
公开(公告)日：2014-05-02
申请号：KR1020100073976
申请日：2010-07-30
Applicant: 한국전자통신연구원
Abstract: 본발명은소셜네트워크(Social Network) 상에서의효과적인사용자클러스터링을위해, 디스크기반의서픽스트리인덱싱방안인비합병서픽스트리(No Merge Suffix Tree)를제안하였다. 제안하는서픽스트리는가변길이의프리픽스방식으로쏠림현상을해결하고, 전체구조를트리로구축하여복잡한합병과정을제거하는공간효율적인인덱싱방안이다. 인덱스생성시전체시퀀스를스캔하면서, 공통의프리픽스를찾고, 공통의프리픽스를가지는서픽스들의발생빈도수가임계치(Thredhold) 이상인경우, 프리픽스를확장하여파티션을진행한다. 서픽스들의발생빈도수가임계치(Thredhold) 이하인경우, 해당파티션의각 서픽스를서브트리로구축한후, 디스크에저장하였다. 다음으로서브트리로구축된파티션의프리픽스를서픽스로가지는트리를메모리상에구축하였다.
-
公开(公告)号：KR101342454B1
公开(公告)日：2013-12-17
申请号：KR1020100054724
申请日：2010-06-10
Applicant: 한국전자통신연구원
Abstract: 본발명은소셜네트워크서비스를위한경험정보처리장치및 방법에관한것으로, 온라인상에서공통의관심사를가진사용자간의관계형성및 지인관계를통해축적된지식및 정보의공유를통하여생성되는정보들을온톨로지를이용하여저장및 관리할수 있으며, 서비스데이터와정보온톨로지및 사용자의사회적관계정보뿐만아니라위치정보의추출기능이탑재된모바일장치를이용하여사용자정보와지역정보및 서비스관련태그정보의연동에의한지능화된소셜미디어서비스를제공할수 있으므로사용자는보다신뢰도가높은정보를손쉽게이용할수 있는이점이있다.
-
公开(公告)号：KR101302136B1
公开(公告)日：2013-08-30
申请号：KR1020090126699
申请日：2009-12-18
Applicant: 한국전자통신연구원
Abstract: 본 발명에 따른 개별 채널 서비스 제공 장치는, 개별 채널 서비스를 위한 키 입력을 통해 사용자의 요청을 입력받는 키 입력기; IPTV 셋톱박스에 채널 전환 및 방송 정보를 요청하기 위해서 IPTV 셋톱박스의 IP주소를 관리하는 IPTV 셋톱박스 정보 관리 모듈; IPTV 셋톱박스로부터 방송 채널의 방송 데이터를 수신하고, IPTV 셋톱박스에 채널 전환을 요청하는 채널 관리 모듈; IPTV 셋톱박스에 특정 채널의 방송 정보를 요청하고, 요청에 따른 방송 정보를 IPTV 셋톱박스로부터 수신하여 처리하는 방송정보 처리 모듈; 및 IPTV 셋톱박스로부터 수신한 방송 채널의 방송 데이터 및 방송 정보가 내부 디스플레이 수단을 통해 표시되도록 제어하는 디스플레이 제어 모듈을 구비한다.
개별, 채널, 서비스, 리모컨, 디스플레이
-
-
-
-
-
-
-
-
-
Search Results
206
records
(took 0.022 seconds)
