会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • Detecting data races in multithreaded computer programs
    • 检测多线程计算机程序中的数据竞赛
    • US20050283781A1
    • 2005-12-22
    • US10870722
    • 2004-06-16
    • Alan KarpJean-Francois Collard
    • Alan KarpJean-Francois Collard
    • G06F9/46
    • G06F11/3624
    • In one aspect, a value of a variable shared by multiple threads for executing the program code is stored in a thread-local variable. A data race condition is detected based on a comparison of values of the shared variable and the thread-local variable. Detection of the data race condition is reported. In another aspect, a machine-readable instruction to store in a thread-local variable a value of a variable shared by multiple threads for executing the program code is generated. A machine-readable instruction to detect a data race condition based on a comparison of values of the shared variable and the thread-local variable is generated. The machine-readable instructions are stored in a machine-readable medium.
    • 在一个方面,用于执行程序代码的多个线程共享的变量的值被存储在线程局部变量中。 基于共享变量和线程局部变量的值的比较来检测数据竞争条件。 报告数据竞争条件的检测。 在另一方面,生成用于存储线程局部变量中的多个线程共享的用于执行程序代码的变量的值的机器可读指令。 生成用于基于共享变量和线程局部变量的值的比较来检测数据竞争条件的机器可读指令。 机器可读指令存储在机器可读介质中。
    • 6. 发明授权
    • System and method for safely executing downloaded code on a computer system
    • 在计算机系统上安全执行下载的代码的系统和方法
    • US07596694B1
    • 2009-09-29
    • US10796690
    • 2004-03-08
    • Alan KarpArindam BanerjiThomas WylegalaRajiv GuptaPeter Phaal
    • Alan KarpArindam BanerjiThomas WylegalaRajiv GuptaPeter Phaal
    • H04L29/06
    • H04L63/123H04L67/34
    • Embodiments of the present invention include a system and method for making it safe to execute downloaded code. The method includes accessing an application, the application making a system call to a library of a computer system for a resource, establishing a requesting thread. The method further includes the library sending a request message to a local security filter; the local security filter validating the requesting thread and returning a digital signature, that uniquely identifies the requesting thread, to the application. The application making a system call to a kernel of the computer system wherein the kernel uses the digital signature from the security filter to validate the requesting thread before allowing access to the requested resource.
    • 本发明的实施例包括用于执行下载代码的安全的系统和方法。 所述方法包括访问应用程序,所述应用程序对资源的计算机系统的库进行系统调用,建立请求线程。 该方法还包括库向本地安全过滤器发送请求消息; 本地安全过滤器验证请求线程并且向应用程序返回唯一地标识请求线程的数字签名。 所述应用程序对所述计算机系统的内核进行系统调用,其中所述内核使用来自所述安全过滤器的数字签名在允许访问所请求的资源之前验证所述请求线程。
    • 10. 发明申请
    • Negotiation system and processor-based method
    • 谈判系统和基于处理器的方法
    • US20060160593A1
    • 2006-07-20
    • US11038717
    • 2005-01-20
    • Alan Karp
    • Alan Karp
    • A63F9/24
    • G06Q30/06
    • A processor-based method for automated negotiation with continuous game moves. A game tree is constructed with a root node that represents a current state of the negotiation. The game tree is evaluated, and a next offer selected. A range-term is defined based on the continuous game moves and the range-term is treated as a single continuous variable in the game tree. Expansion of a branch of the game tree is halted at a range-term node for which only the range-term was changed in a previous move leading to that range-term node. An optimum payoff value for each range-term node is then determined and output to a computer peripheral.
    • 一种基于处理器的方法,用于连续游戏移动的自动协商。 游戏树被构造成具有代表当前协商状态的根节点。 评估游戏树,并选择下一个优惠。 范围项是基于连续游戏动作定义的,而范围项被视为游戏树中的单个连续变量。 游戏树的分支的扩展在一个范围项节点处停止,在该范围项节点上仅在前一个移动中的范围项被改变,导致该范围项节点。 然后确定每个范围项节点的最佳收益值并将其输出到计算机外围设备。