-
公开(公告)号：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.发明授权公开(公告)号：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
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.发明申请公开(公告)号：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）从源头到水槽的篡改的私人信息流，无论是否被审查。 然后，隐私控制系统提示用户提供关于流程的隐私控制决定。 隐私控制决定是否将实际数据或匿名数据提供给汇点，还是程序终止。 运行系统然后根据隐私控制决定运行该程序。
-
公开(公告)号：US20130055138A1
公开(公告)日：2013-02-28
申请号：US13217306
申请日：2011-08-25
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.
摘要翻译： 本文描述了用于通过动态地呈现在编辑会话的每个实例被认为合适的密钥排列来创建结构化数据项的编辑功能。 每个密钥与结构化数据项的组件相关联。 激活这些键之一后，编辑功能会将相应的组件添加到正在创建的项目中。 编辑功能可以在任何用户设备上实现，但是特别适用于具有有限输入机制和显示机制的手持计算设备上的实现。
-
公开(公告)号：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）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。 在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。 在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。 在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。 本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。 如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。
-
公开(公告)号：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
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）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。 在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。 在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。 在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。 本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。 如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。
-
公开(公告)号：US08949771B2
公开(公告)日：2015-02-03
申请号：US13165814
申请日：2011-06-22
摘要： The description relates to media files and more particularly to media files that include a program and a human-understandable description of the program. One example can receive executable code. This example can determine a functionality provided by the executable code. The example can also create a media file that stores the executable code and presents the functionality in a human-understandable form.
摘要翻译： 该描述涉及媒体文件，更具体地涉及包括节目的媒体文件和对该节目的人类可理解的描述。 一个例子可以接收可执行代码。 该示例可以确定由可执行代码提供的功能。 该示例还可以创建存储可执行代码并以人类可理解的形式呈现功能的媒体文件。
-
公开(公告)号：US20130091444A1
公开(公告)日：2013-04-11
申请号：US13271221
申请日：2011-10-11
IPC分类号： G06F3/00
CPC分类号： G06F8/38 , G06F9/45512
摘要： This patent relates to automatic UI rendering techniques by which specified data items can be automatically posted on a UI and rendered as interactive UI elements and/or UI sub-elements without explicit instructions for how the specified data items are to be rendered. A developer can therefore specify in a simple expression (e.g., a script) that the data item is to be posted and rendered, without having to specify how the UI elements and/or UI sub-elements are to be rendered.In response to the expression, the data items can then be automatically posted and rendered on the UI based on the data type(s) and according to pre-defined rendering instructions. The pre-defined rendering instructions need not be specific to the data items, nor provided with the expression.
摘要翻译： 该专利涉及自动UI渲染技术，其中指定的数据项可以自动地发布在UI上并被呈现为交互式UI元素和/或UI子元素，而没有关于如何呈现指定的数据项的显式指令。 因此，开发人员可以以简单的表达（例如，脚本）来指定数据项目要发布和呈现，而无需指定如何呈现UI元素和/或UI子元素。 响应于该表达式，数据项目然后可以根据数据类型并根据预定义的渲染指令自动地在UI上发布和呈现。 预定义的渲染指令不一定是特定于数据项，也不用表达式。
-
公开(公告)号：US20120331438A1
公开(公告)日：2012-12-27
申请号：US13165814
申请日：2011-06-22
IPC分类号： G06F9/44
摘要： The description relates to media files and more particularly to media files that include a program and a human-understandable description of the program. One example can receive executable code. This example can determine a functionality provided by the executable code. The example can also create a media file that stores the executable code and presents the functionality in a human-understandable form.
摘要翻译： 该描述涉及媒体文件，更具体地涉及包括节目的媒体文件和对该节目的人类可理解的描述。 一个例子可以接收可执行代码。 该示例可以确定由可执行代码提供的功能。 该示例还可以创建存储可执行代码并以人类可理解的形式呈现功能的媒体文件。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.021 秒)
