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

1. 发明申请

US20050138428A1 System and method for network discovery and connection management 有权
标题翻译：网络发现和连接管理的系统和方法
公开(公告)号：US20050138428A1
公开(公告)日：2005-06-23
申请号：US11001544
申请日：2004-12-01
申请人： Christopher McAllen , Christopher Dern , Gregory Borges , Michael Scott Reed , Richard Batch
发明人： Christopher McAllen , Christopher Dern , Gregory Borges , Michael Scott Reed , Richard Batch
IPC分类号： G06F11/30 , G06F19/00 , H04L12/24 , H04L29/06 , H04L29/08
CPC分类号： H04L67/24 , G06F19/00 , G16H40/20 , H04L29/06 , H04L63/0428 , H04L63/0435 , H04L63/123 , H04L67/12 , H04L67/42 , H04L69/329
摘要： The present invention provides for a system and method of discovering whether a medical device is connected to a network, establishing secure communications between and a server and the medical device, and communicating with the medical device. Also disclosed is a method of encryption to ensure secure communications within the network between a server and medical devices connected to the network. The invention also includes a system and method for determining the location of medical devices within an institution.
摘要翻译：本发明提供一种发现医疗设备是否连接到网络，建立服务器与医疗设备之间的安全通信以及与医疗设备通信的系统和方法。还公开了一种加密方法，以确保服务器与连接到网络的医疗设备之间网络内的安全通信。本发明还包括用于确定机构内的医疗设备的位置的系统和方法。

2. 发明授权

US08191046B2 Checking transactional memory implementations 有权
标题翻译：检查事务内存实现
公开(公告)号：US08191046B2
公开(公告)日：2012-05-29
申请号：US12246231
申请日：2008-10-06
申请人： Christopher Dern , Raghuveer Simha
发明人： Christopher Dern , Raghuveer Simha
IPC分类号： G06F9/44
CPC分类号： G06F9/528
摘要： A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test.
摘要翻译：使用自动生成的测试程序和定义原子性语义的锁定内存模型实现来测试事务内存实现。测试程序的时间表指定测试程序线程的读取操作和写入操作的不同交错。在锁定内存模型实现下执行计划提供了共享变量的法定最终状态。执行事务内存实现下的计划会产生共享变量的候选最终状态。如果候选最终状态也是合法的最终状态，则事务内存实现通过测试。

3. 发明申请

US20100088702A1 CHECKING TRANSACTIONAL MEMORY IMPLEMENTATIONS 有权
标题翻译：检查交易记录的实现
公开(公告)号：US20100088702A1
公开(公告)日：2010-04-08
申请号：US12246231
申请日：2008-10-06
申请人： Christopher Dern , Raghuveer Simha
发明人： Christopher Dern , Raghuveer Simha
IPC分类号： G06F9/46
CPC分类号： G06F9/528
摘要： A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test.
摘要翻译：使用自动生成的测试程序和定义原子性语义的锁定内存模型实现来测试事务内存实现。测试程序的时间表指定测试程序线程的读取操作和写入操作的不同交错。在锁定内存模型实现下执行计划提供了共享变量的法定最终状态。执行事务内存实现下的计划会产生共享变量的候选最终状态。如果候选最终状态也是合法的最终状态，则事务内存实现通过测试。

4. 发明申请

US20050135306A1 Discovery and connection management with mobile systems manager 审中-公开
标题翻译：使用移动系统管理器进行发现和连接管理
公开(公告)号：US20050135306A1
公开(公告)日：2005-06-23
申请号：US11005761
申请日：2004-12-06
申请人： Christopher McAllen , Christopher Dern , Gregory Borges , Michael Reed , Richard Batch
发明人： Christopher McAllen , Christopher Dern , Gregory Borges , Michael Reed , Richard Batch
IPC分类号： G06F12/00 , G06F17/30 , G06F19/00 , H04L12/24 , H04L12/28 , H04L12/56 , H04L29/06 , H04L29/08 , H04W12/02 , H04W52/02 , H04W68/00 , H04Q7/00
CPC分类号： H04W68/00 , G16H40/20 , H04L29/06 , H04L63/0428 , H04L63/08 , H04L63/083 , H04L67/12 , H04L67/14 , H04L67/24 , H04L69/329 , H04W12/0017 , H04W12/06 , H04W40/246 , H04W52/0216 , H04W52/0219 , H04W76/10 , Y02D70/142 , Y02D70/144 , Y02D70/166 , Y02D70/26
摘要： The present invention provides for a system and method of discovering whether a medical device is connected to a network, establishing secure communications between and a server and the medical device, and communicating with the medical device. Also disclosed is a method of encryption to ensure secure communications within the network between a server and medical devices connected to the network. The invention also includes a system and method for determining the location of medical devices within an institution. Also disclosed is a mobile server functioning as a mobile systems manager.
摘要翻译：本发明提供一种发现医疗设备是否连接到网络，建立服务器与医疗设备之间的安全通信以及与医疗设备通信的系统和方法。还公开了一种加密方法，以确保服务器与连接到网络的医疗设备之间网络内的安全通信。本发明还包括用于确定机构内的医疗设备的位置的系统和方法。还公开了用作移动系统管理器的移动服务器。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式