会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Parallel loop transformation methods for race detection during an execution of parallel programs
    • 在并行程序执行期间进行种族检测的并行循环变换方法
    • US07076776B2
    • 2006-07-11
    • US10025556
    • 2001-12-26
    • Jeong Si KimDong Soo HanChan Su Yu
    • Jeong Si KimDong Soo HanChan Su Yu
    • G06F9/44G06F9/45
    • G06F11/3644G06F8/452G06F11/3404
    • A parallel loop transformation method for race detection during an execution of parallel programs that includes generating a data structure of a condition statement branch determinant string Cstr required for loop transformation by taking an original parallel loop as an input and extracting execution path information, transforming the original parallel loop into a full race covering loop using the data structure of the condition statement branch determinant string Cstr required for loop transformation and the execution path information as an input statement, instrumenting the race detection function in order to activate the race detection function for the transformed parallel loop which are previously generated, and executing the race detection while running the parallel programs according to instrumented detection functions.
    • 一种并行循环变换方法,用于在执行并行程序期间进行种族检测,包括通过以原始并行循环作为输入生成循环变换所需的条件语句分支行列式字符串Cstr的数据结构,并提取执行路径信息, 使用条件语句的数据结构并行循环进行全循环覆盖循环,循环变换所需的行列式Cstr和执行路径信息作为输入语句,进行比赛检测功能,以激活已转换的赛跑检测功能 并行循环,并且根据仪器化检测功能运行并行程序时执行比赛检测。
    • 2. 发明授权
    • Driver agent device for supporting remote device driver development environment in embedded system and operation method thereof
    • 用于支持嵌入式系统中的远程设备驱动程序开发环境的驱动代理设备及其操作方法
    • US07546611B2
    • 2009-06-09
    • US11008996
    • 2004-12-13
    • Jeong Si KimChae Deok LimSeung Min Park
    • Jeong Si KimChae Deok LimSeung Min Park
    • G06F3/00G06F9/44G06F9/46G06F13/00
    • H04L67/125G06F8/20
    • A host system having a device driver development tool and a target system having a device driver agent, the tool and the target system separated from each other and interconnected with a communication network. The driver agent device communicates with the target system, receiving and processing various service requests from the device driver development tool, and transmits the processed services to the host system through the communication network. Thr driver agent determines types of the services requested from the device driver development tool and performs services based on the types of the services determined. Accordingly, the device driver can be adapted to the target system and tested without complex procedures to effectively reduce time and manpower needed for the device driver development.
    • 具有设备驱动程序开发工具和具有设备驱动代理的目标系统的主机系统,所述工具和所述目标系统彼此分离并与通信网络互连。 驱动代理设备与目标系统通信,从设备驱动程序开发工具接收和处理各种服务请求,并通过通信网络将处理的服务发送到主机系统。 Thr驱动程序代理确定从设备驱动程序开发工具请求的服务类型,并根据确定的服务类型执行服务。 因此,设备驱动器可以适应于目标系统,并且在没有复杂程序的情况下进行测试,以有效地减少设备驱动程序开发所需的时间和人力。