专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20130151519A1 Ranking Programs in a Marketplace System 审中-公开
标题翻译：市场系统中的排名计划
公开(公告)号：US20130151519A1
公开(公告)日：2013-06-13
申请号：US13313032
申请日：2011-12-07
申请人： Marat K. Akhin , Nikolai Tillmann , Michal J. Moskal , Jonathan Paul de Halleux , Manuel A. Fahndrich
发明人： Marat K. Akhin , Nikolai Tillmann , Michal J. Moskal , Jonathan Paul de Halleux , Manuel A. Fahndrich
IPC分类号： G06F17/30
CPC分类号： G06F16/35 , G06F16/9535
摘要： A marketplace system is described herein for ranking programs based, at least in part, on the assessed distinctiveness of the programs. In one implementation, the marketplace operates by: (a) accessing a set of programs; (b) extracting feature information from each of the programs; (c) generating similarity information for each program, based on the feature information; (d) ranking the programs based at least on the similarity information, to provide ranking information; and (e) providing a user interface presentation that has an effect of promoting at least one distinctive program in the set of applications on the basis of the ranking information.
摘要翻译：本文描述了一种市场系统，用于至少部分地基于评估的程序的独特性对程序进行排名。在一个实施中，市场通过以下操作：（a）访问一组程序; （b）从每个节目中提取特征信息; （c）基于所述特征信息生成每个节目的相似度信息; （d）至少基于相似性信息对节目进行排序，以提供排名信息; 以及（e）提供具有基于所述排名信息来促进所述应用集合中的至少一个独特程序的效果的用户界面呈现。

2. 发明申请

US20130152154A1 Controlling the Release of Private Information Using Static Flow Analysis 有权
标题翻译：使用静态流分析控制私人信息的发布
公开(公告)号：US20130152154A1
公开(公告)日：2013-06-13
申请号：US13314212
申请日：2011-12-08
申请人： Xusheng Xiao , Nikolai Tillmann , Manuel A. Fahndrich , Jonathan Paul de Halleux , Michal J. Moskal
发明人： Xusheng Xiao , Nikolai Tillmann , Manuel A. Fahndrich , Jonathan Paul de Halleux , Michal J. Moskal
IPC分类号： G06F17/00
CPC分类号： G06F17/00 , G06F21/00 , G06F21/57 , G06F21/6245 , G06F2221/033 , H04W12/02
摘要： A privacy control system is described herein for controlling dissemination of private information by a program. The privacy control system operates by performing static analysis to determine at least one flow within the program of private information, from a source to a sink The static analysis is particularly configured to identify two types of flow, including: (a) an unvetted flow of untampered private information from the source to the sink; and (b) a flow of tampered private information from the source to the sink, whether vetted or unvetted. The privacy control system then prompts the user to provide a privacy control decision regarding the flow. The privacy control decision governs whether actual data or anonymized data is provided to the sink, or whether the program is terminated. A runtime system then runs the program in accordance with the privacy control decision.
摘要翻译：本文描述了一种用于控制程序传播私人信息的隐私控制系统。隐私控制系统通过执行静态分析来确定私人信息的程序中的至少一个流，从源到宿。静态分析被特别地配置为识别两种类型的流，包括：（a）未被感染的流从源头到水槽的未经修改的私人信息; 和（b）从源头到水槽的篡改的私人信息流，无论是否被审查。然后，隐私控制系统提示用户提供关于流程的隐私控制决定。隐私控制决定是否将实际数据或匿名数据提供给汇点，还是程序终止。运行系统然后根据隐私控制决定运行该程序。

3. 发明申请

US20130055138A1 DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT 审中-公开
标题翻译：基于背景动态更改关键选择
公开(公告)号：US20130055138A1
公开(公告)日：2013-02-28
申请号：US13217306
申请日：2011-08-25
申请人： Jonathan Paul de Halleux , Michal J. Moskal , Nikolai Tillmann , Manuel A. Fahndrich
发明人： Jonathan Paul de Halleux , Michal J. Moskal , Nikolai Tillmann , Manuel A. Fahndrich
IPC分类号： G06F3/048
CPC分类号： G06F8/33
摘要： Editing functionality is described herein for creating a structured data item by dynamically presenting a key arrangement that is deemed suitable at each instance of an editing session. Each key is associated with a component of the structured data item. Upon activation of one of these keys, the editing functionality adds a corresponding component to the item being created. The editing functionality can be implemented on any user device, but is particularly suited for implementation on a handheld computing device having a limited input mechanism and a display mechanism.
摘要翻译：本文描述了用于通过动态地呈现在编辑会话的每个实例被认为合适的密钥排列来创建结构化数据项的编辑功能。每个密钥与结构化数据项的组件相关联。激活这些键之一后，编辑功能会将相应的组件添加到正在创建的项目中。编辑功能可以在任何用户设备上实现，但是特别适用于具有有限输入机制和显示机制的手持计算设备上的实现。

4. 发明授权

US09104528B2 Controlling the release of private information using static flow analysis 有权
标题翻译：使用静态流分析控制私人信息的发布
公开(公告)号：US09104528B2
公开(公告)日：2015-08-11
申请号：US13314212
申请日：2011-12-08
申请人： Xusheng Xiao , Nikolai Tillmann , Manuel A. Fahndrich , Jonathan Paul de Halleux , Michal J. Moskal
发明人： Xusheng Xiao , Nikolai Tillmann , Manuel A. Fahndrich , Jonathan Paul de Halleux , Michal J. Moskal
IPC分类号： G06F17/00 , H04L29/06 , G06F21/00
CPC分类号： G06F17/00 , G06F21/00 , G06F21/57 , G06F21/6245 , G06F2221/033 , H04W12/02
摘要： A privacy control system is described herein for controlling dissemination of private information by a program. The privacy control system operates by performing static analysis to determine at least one flow within the program of private information, from a source to a sink. The static analysis is particularly configured to identify two types of flow, including: (a) an unvetted flow of untampered private information from the source to the sink; and (b) a flow of tampered private information from the source to the sink, whether vetted or unvetted. The privacy control system then prompts the user to provide a privacy control decision regarding the flow. The privacy control decision governs whether actual data or anonymized data is provided to the sink, or whether the program is terminated. A runtime system then runs the program in accordance with the privacy control decision.
摘要翻译：本文描述了一种用于控制程序传播私人信息的隐私控制系统。隐私控制系统通过执行静态分析来确定私人信息的程序中的至少一个流，从源到宿。静态分析被特别地配置为识别两种类型的流，包括：（a）从源到汇的未经修改的私有信息流; 和（b）从源头到水槽的篡改的私人信息流，无论是否被审查。然后，隐私控制系统提示用户提供关于流程的隐私控制决定。隐私控制决定是否将实际数据或匿名数据提供给汇点，还是程序终止。然后，运行时系统根据隐私控制决定运行该程序。

5. 发明授权

US08959496B2 Automatic parallelization in a tracing just-in-time compiler system 有权
标题翻译：跟踪即时编译系统中的自动并行化
公开(公告)号：US08959496B2
公开(公告)日：2015-02-17
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
IPC分类号： G06F9/44 , G06F9/45 , G06F9/455 , G06F9/445
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

6. 发明申请

US20110265067A1 Automatic Parallelization in a Tracing Just-in-Time Compiler System 有权
标题翻译：跟踪即时编译器系统中的自动并行化
公开(公告)号：US20110265067A1
公开(公告)日：2011-10-27
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

7. 发明申请

US20090164973A1 CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION 有权
标题翻译：编码错误减少的合同编程
公开(公告)号：US20090164973A1
公开(公告)日：2009-06-25
申请号：US11963346
申请日：2007-12-21
申请人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
发明人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/41 , G06F8/51
摘要： In one embodiment, a computer system provides an application programming interface (API) for augmenting an application API. A computer system receives software code written in a second programming language indicating a user's intention to augment an application API with contracts from a contract API written in a first programming language. The software code includes a reference to the contract API. The contracts include assertions indicating appropriate use of the application API. The computer system accesses portions of the contract API according to the reference in the software code and compiles the received software code and the referenced portions of the contract API into an intermediate language (IL) version of the software code. The IL version is in an intermediate language common to both the first programming language and the second programming language. The IL version includes the assertions indicating appropriate use of the application API.
摘要翻译：在一个实施例中，计算机系统提供用于增加应用API的应用编程接口（API）。计算机系统接收以第二编程语言编写的软件代码，其指示用户使用以第一编程语言编写的合同API的契约来增加应用API的意图。软件代码包括对合同API的引用。合同包括指示适当使用应用程序API的断言。计算机系统根据软件代码中的参考来访问合同API的部分，并将接收到的软件代码和合同API的参考部分编译成软件代码的中间语言（IL）版本。 IL版本是与第一种编程语言和第二种编程语言相同的中间语言。 IL版本包括指示适当使用应用程序API的断言。

8. 发明授权

US07500232B2 Methods for enhancing flow analysis 有权
标题翻译：增强流量分析的方法
公开(公告)号：US07500232B2
公开(公告)日：2009-03-03
申请号：US10834680
申请日：2004-04-29
申请人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
发明人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
IPC分类号： G06F9/45
CPC分类号： G06F8/433
摘要： Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.
摘要翻译：描述了增强程序流程分析的方法和结构。尽管以前的方法由于存在函数指针而变得复杂，但是本方法提供了一个框架，它将函数指针抽象成是任何其他程序表达式，以便在期望的分析持续时间内允许所需的分析决策水平。本发明的一个方面包括从程序中推断出类型，根据类型形成类型图，并从类型图形成流图，以抑制不精确的路径，从而增强流分析的上下文敏感性。这些方法可以用于任何分析工具，如代码浏览器和切片工具。

9. 发明申请

US20070271594A1 Access-Control Permissions with Inter-Process Message-Based Communications 有权
标题翻译：具有进程间消息通信的访问控制权限
公开(公告)号：US20070271594A1
公开(公告)日：2007-11-22
申请号：US11419145
申请日：2006-05-18
申请人： Edward P. Wobber , Manuel A. Fahndrich , Ulfar Erlingsson , Martin Abadi
发明人： Edward P. Wobber , Manuel A. Fahndrich , Ulfar Erlingsson , Martin Abadi
IPC分类号： H04L9/32
CPC分类号： G06F21/6281
摘要： Described herein are one or more implementations that facilitate message-passing over a communication conduit between software processes in a computing environment. More particularly, the implementations described restrict access of one process to another via messages passed over a particular conduit connecting the processes and the access-control restrictions are defined by a contract associated with that particular conduit.
摘要翻译：这里描述了一种或多种实现，其便于在计算环境中的软件进程之间通过通信导线进行消息传递。更具体地，所描述的实施方式通过在连接过程的特定管道上传递的消息来限制一个进程的访问，并且访问控制限制由与该特定管道相关联的合同定义。

10. 发明授权

US07882317B2 Process isolation using protection domains 有权
标题翻译：使用保护域进行过程隔离
公开(公告)号：US07882317B2
公开(公告)日：2011-02-01
申请号：US11462556
申请日：2006-08-04
申请人： Galen C. Hunt , Chris K. Hawblitzel , James R. Larus , Manuel A. Fahndrich , Mark Aiken
发明人： Galen C. Hunt , Chris K. Hawblitzel , James R. Larus , Manuel A. Fahndrich , Mark Aiken
IPC分类号： G06F12/00
CPC分类号： G06F21/562 , G06F9/544 , G06F12/1009 , G06F12/109 , G06F12/1491 , G06F21/566 , G06F21/57 , G06F2212/1016 , G06F2212/1052 , G06F2212/651 , G06F2212/657
摘要： A first plurality of operating system processes is assigned to a first protection domain, and a second plurality of operating system processes is assigned to a second protection domain. One or more hardware protection mechanisms are used to prevent the first plurality of operating system processes from accessing the memory space of the second plurality of operating system processes, and also to prevent the second plurality of operating system processes from accessing the memory space of the first plurality of operating system processes.
摘要翻译：第一多个操作系统进程被分配给第一保护域，并且第二多个操作系统进程被分配给第二保护域。使用一个或多个硬件保护机制来防止第一多个操作系统进程访问第二多个操作系统进程的存储器空间，并且还防止第二多个操作系统进程访问第一多个操作系统进程的存储器空间多个操作系统进程。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式