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

1. 发明授权

US07584458B2 Source code annotation language 有权
标题翻译：源代码注释语言
公开(公告)号：US07584458B2
公开(公告)日：2009-09-01
申请号：US10679254
申请日：2003-10-02
申请人： Manuvir Das , Manuel Alfred Fahndrich , Ramanathan Venkatapathy , Daniel W. Weise , William Hunter Hudson , Sameet Harishanker Agarwal , William Hiroaki Shihara , Hannes Ruescher , Spencer Wong Low , F. Soner Terek
发明人： Manuvir Das , Manuel Alfred Fahndrich , Ramanathan Venkatapathy , Daniel W. Weise , William Hunter Hudson , Sameet Harishanker Agarwal , William Hiroaki Shihara , Hannes Ruescher , Spencer Wong Low , F. Soner Terek
IPC分类号： G06F9/44 , G06F11/00 , G06F12/14
CPC分类号： G06F11/328 , G06F11/3624
摘要： Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal parameters, return values, or user-defined types. The annotations include, for example, properties and qualifiers. A property can indicate, for example, a characteristic of a buffer. In another aspect, an annotation indicates that a value has usability properties sufficient to allow a function to rely on the value, where the usability properties depend on value type.
摘要翻译：描述用于实现源代码注释语言的技术和工具。在一个方面，将关键字添加到功能界面中以定义与功能调用上下文无关的功能的契约。在另一方面，注释被插入到全局变量，形式参数，返回值或用户定义的类型中。注释包括例如属性和限定符。属性可以指示例如缓冲器的特性。另一方面，注释表示一个值具有足够的可用性属性，以允许函数依赖该值，其中可用性属性取决于值类型。

2. 发明申请

US20050076331A1 Source code annotation language 有权
标题翻译：源代码注释语言
公开(公告)号：US20050076331A1
公开(公告)日：2005-04-07
申请号：US10679254
申请日：2003-10-02
申请人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Daniel Weise , William Hudson , Sameet Agarwal , William Shihara , Hannes Ruescher , Spencer Low , F. Terek
发明人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Daniel Weise , William Hudson , Sameet Agarwal , William Shihara , Hannes Ruescher , Spencer Low , F. Terek
IPC分类号： G06F9/44
CPC分类号： G06F11/328 , G06F11/3624
摘要： Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal parameters, return values, or user-defined types. The annotations include, for example, properties and qualifiers. A property can indicate, for example, a characteristic of a buffer. In another aspect, an annotation indicates that a value has usability properties sufficient to allow a function to rely on the value, where the usability properties depend on value type.
摘要翻译：描述用于实现源代码注释语言的技术和工具。在一个方面，将关键字添加到功能界面中以定义与功能调用上下文无关的功能的契约。在另一方面，注释被插入到全局变量，形式参数，返回值或用户定义的类型中。注释包括例如属性和限定符。属性可以指示例如缓冲器的特性。在另一方面，注释表示一个值具有足够的可用性属性，以允许函数依赖该值，其中可用性属性取决于值类型。

3. 发明申请

US20060271917A1 State-based source code annotation 审中-公开
标题翻译：基于状态的源代码注释
公开(公告)号：US20060271917A1
公开(公告)日：2006-11-30
申请号：US11142604
申请日：2005-05-31
申请人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Yong Qu , Donn Scott Terry , Daniel Weise , Brian Hackett
发明人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Yong Qu , Donn Scott Terry , Daniel Weise , Brian Hackett
IPC分类号： G06F9/44
CPC分类号： G06F8/73 , G06F8/31
摘要： Techniques and tools relating to state-based source code annotation are described. For example, described techniques include flexible techniques for describing object states with annotations. In one aspect, properties of data structures in source code are described using state-defining code annotations. For example, specification structs can be used to describe an arbitrary set of states of objects, thereby improving the capabilities of the annotation language in terms of richness of program description. Specification structs also help to avoid annotating large numbers of individual fields in data structures by allowing several individual fields to be described by a single specification struct. Other aspects of a source code annotation language also are described.
摘要翻译：描述与基于状态的源代码注释相关的技术和工具。例如，所描述的技术包括用于通过注释描述对象状态的灵活技术。在一个方面，使用状态定义代码注释来描述源代码中数据结构的属性。例如，规范结构可用于描述对象的任意状态集合，从而在程序描述的丰富性方面提高注释语言的能力。规范结构也有助于通过允许由单个规范结构描述几个单独的字段来避免在数据结构中注释大量的单个字段。还描述了源代码注释语言的其他方面。

4. 发明申请

US20130074064A1 AUTOMATED INFRASTRUCTURE PROVISIONING 审中-公开
标题翻译：自动基础设施提供
公开(公告)号：US20130074064A1
公开(公告)日：2013-03-21
申请号：US13233766
申请日：2011-09-15
申请人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Shivesh Ranjan , Jimmy Narang , Ranjana Rathinam , Nelamangal K. Srinivas , Rochak Mittal
发明人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Shivesh Ranjan , Jimmy Narang , Ranjana Rathinam , Nelamangal K. Srinivas , Rochak Mittal
IPC分类号： G06F9/455
CPC分类号： G06F8/61 , G06F9/5077
摘要： A mechanism is provided for creating and deploying a user environments for work groups in a cloud computing environment. A user such as an administrator is provided an interface for defining an end user computing environment and a desired IT infrastructure. Based on this information the system creates the infrastructure in the cloud platform. The underlying provisioning of the infrastructure in the cloud is transparent to the administrator.
摘要翻译：提供了一种用于在云计算环境中为工作组创建和部署用户环境的机制。为诸如管理员的用户提供用于定义最终用户计算环境和期望的IT基础设施的界面。基于此信息，系统在云平台中创建基础架构。云中基础设施的基础配置对管理员来说是透明的。

5. 发明授权

US07496894B2 Methods for enhancing pointer analyses 有权
标题翻译：增强指针分析的方法
公开(公告)号：US07496894B2
公开(公告)日：2009-02-24
申请号：US10866941
申请日：2004-06-14
申请人： Manuvir Das
发明人： Manuvir Das
IPC分类号： G06F9/45
CPC分类号： G06F8/434
摘要： Methods are described that enhance pointer analysis for programs. Whereas previous methods are constrained by the extremes of an inverse relationship between time and information, the present methods selectively unify information so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes selectively retaining information at a first order of indirection based on variables in an assignment statement while unifying information at subsequent orders of indirection. The methods are used for pointer variables, but are equally useful to function definitions, function calls, function pointers, indirect function calls, and others. The methods may be used in client analysis tools such as code browsers and slicing tools.
摘要翻译：描述了增强程序指针分析的方法。尽管以前的方法被时间和信息之间的反向关系的极限所限制，但是本方法选择性地统一信息，以便在期望的分析持续时间内允许期望的分析决策水平。本发明的一个方面包括基于分配语句中的变量选择性地保持信息的第一顺序，同时在随后的间接顺序统一信息。这些方法用于指针变量，但同样对函数定义，函数调用，函数指针，间接函数调用等有用。这些方法可用于客户端分析工具，如代码浏览器和切片工具。

6. 发明授权

US07003760B1 Method for enhancing pointer analyses 有权
公开(公告)号：US07003760B1
公开(公告)日：2006-02-21
申请号：US09489878
申请日：2000-01-21
申请人： Manuvir Das
发明人： Manuvir Das
IPC分类号： G06F9/45
CPC分类号： G06F8/434
摘要： Methods are described that enhance pointer analysis for programs. Whereas previous methods are constrained by the extremes of an inverse relationship between time and information, the present methods selectively unify information so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes selectively retaining information at a first order of indirection based on variables in an assignment statement while unifying information at subsequent orders of indirection. The methods are used for pointer variables, but are equally useful to function definitions, function calls, function pointers, indirect function calls, and others. The methods may be used in client analysis tools such as code browsers and slicing tools.

7. 发明授权

US08589481B2 Multi tenant access to applications 有权
标题翻译：多租户访问应用程序
公开(公告)号：US08589481B2
公开(公告)日：2013-11-19
申请号：US13232863
申请日：2011-09-14
申请人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Sanjay Malpani , Ravi K. Balachandran , Adam Herscher , Nelamangal K. Srinivas , Rochak Mittal
发明人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Sanjay Malpani , Ravi K. Balachandran , Adam Herscher , Nelamangal K. Srinivas , Rochak Mittal
IPC分类号： G06F15/16 , G06F12/00
CPC分类号： G06F8/60 , G06F9/452 , G06F9/4843 , G06F15/16 , G06F21/00 , G06F21/41 , H04L29/08072
摘要： A mechanism is provided for presenting a software application to a plurality of users in a cloud computing environment. For example, an application that was designed for use by a single user is provided in a cloud based platform without re-architecting the application. Using a web-based interface, multiple cloud users may launch and execute the application. The various instances of the application are provided to the cloud users as if the application were designed as a multi-user application.
摘要翻译：提供了一种用于向云计算环境中的多个用户呈现软件应用的机制。例如，设计为由单个用户使用的应用程序在基于云的平台中提供，而无需重新构建应用程序。使用基于Web的界面，多个云用户可以启动并执行应用程序。将应用程序的各种实例提供给云用户，就像应用程序被设计为多用户应用程序一样。

8. 发明申请

US20130066945A1 Multi Tenant Access To Applications 有权
标题翻译：多租户访问应用程序
公开(公告)号：US20130066945A1
公开(公告)日：2013-03-14
申请号：US13232863
申请日：2011-09-14
申请人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Sanjay Malpani , Ravi K. Balachandran , Adam Herscher , Nelamangal K. Srinivas , Rochak Mittal
发明人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Sanjay Malpani , Ravi K. Balachandran , Adam Herscher , Nelamangal K. Srinivas , Rochak Mittal
IPC分类号： G06F15/16
CPC分类号： G06F8/60 , G06F9/452 , G06F9/4843 , G06F15/16 , G06F21/00 , G06F21/41 , H04L29/08072
摘要： A mechanism is provided for presenting a software application to a plurality of users in a cloud computing environment. For example, an application that was designed for use by a single user is provided in a cloud based platform without re-architecting the application. Using a web-based interface, multiple cloud users may launch and execute the application. The various instances of the application are provided to the cloud users as if the application were designed as a multi-user application.
摘要翻译：提供了一种用于向云计算环境中的多个用户呈现软件应用的机制。例如，设计为由单个用户使用的应用程序在基于云的平台中提供，而无需重新构建应用程序。使用基于Web的界面，多个云用户可以启动并执行应用程序。将应用程序的各种实例提供给云用户，就像应用程序被设计为多用户应用程序一样。

9. 发明授权

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.
摘要翻译：描述了增强程序流程分析的方法和结构。尽管以前的方法由于存在函数指针而变得复杂，但是本方法提供了一个框架，它将函数指针抽象成是任何其他程序表达式，以便在期望的分析持续时间内允许所需的分析决策水平。本发明的一个方面包括从程序中推断出类型，根据类型形成类型图，并从类型图形成流图，以抑制不精确的路径，从而增强流分析的上下文敏感性。这些方法可以用于任何分析工具，如代码浏览器和切片工具。

10. 发明授权

US08438635B2 Single sign-on for remote desktops 有权
标题翻译：远程桌面的单点登录
公开(公告)号：US08438635B2
公开(公告)日：2013-05-07
申请号：US13233871
申请日：2011-09-15
申请人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Shivesh Ranjan , Jimmy Narang
发明人： Manuvir Das , Sudarshan Yadav , Arvind Kandhare , Shivesh Ranjan , Jimmy Narang
IPC分类号： G06F7/04 , H04L29/06
CPC分类号： H04L63/0838 , G06F9/452 , G06F2009/45562
摘要： A mechanism is provided for automatically logging into a cloud based system that does not accept token log-on credentials generated by a single sign-on service. In an embodiment, a one-time password is automatically generated and persisted. The generated password is used to log in automatically to a cloud based system that does not accept tokens generated by the web-ID providers and for connecting to other services. Examples of such systems may include Windows, Linux, and iOS.
摘要翻译：提供了一种自动登录到基于云的系统的机制，该系统不接受由单一登录服务生成的令牌登录凭据。在一个实施例中，一次性密码被自动生成并保持。生成的密码用于自动登录到基于云的系统，该系统不接受由Web-ID提供商生成的令牌以及连接到其他服务。这种系统的示例可以包括Windows，Linux和iOS。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式