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

1. 发明授权

US09015025B2 Verifying processor-sparing functionality in a simulation environment 有权
公开(公告)号：US09015025B2
公开(公告)日：2015-04-21
申请号：US13285460
申请日：2011-10-31
申请人： Stefan Letz , Joerg Deutschle , Bodo Hoppe , Erica Stuecheli , Brian W. Thompto
发明人： Stefan Letz , Joerg Deutschle , Bodo Hoppe , Erica Stuecheli , Brian W. Thompto
IPC分类号： G06F17/50 , G06F11/22 , G06F11/20
CPC分类号： G06F17/5009 , G06F11/202 , G06F11/2242 , G06F17/5022 , G06F2217/68
摘要： A simulation environment verifies processor-sparing functions in a simulated processor core. The simulation environment executes a first simulation for a simulated processor core. During the simulation, the simulation environment creates a simulation model dump file. At a later point in time, the simulation environment executes a second simulation for the simulated processor core. The simulation environment saves the state of the simulated processor core. The simulation environment then replaces the state of the simulated processor core by loading the previously created simulation model dump file. The simulation environment then sets the state of the simulated processor core to execute processor-sparing code and resumes the second simulation.

2. 发明申请

US20130110490A1 Verifying Processor-Sparing Functionality in a Simulation Environment 有权
标题翻译：在模拟环境中验证处理器备用功能
公开(公告)号：US20130110490A1
公开(公告)日：2013-05-02
申请号：US13285460
申请日：2011-10-31
申请人： Stefan Letz , Joerg Deutschle , Bodo Hoppe , Erica Stuecheli , Brian W. Thompto
发明人： Stefan Letz , Joerg Deutschle , Bodo Hoppe , Erica Stuecheli , Brian W. Thompto
IPC分类号： G06F17/50
CPC分类号： G06F17/5009 , G06F11/202 , G06F11/2242 , G06F17/5022 , G06F2217/68
摘要： A simulation environment verifies processor-sparing functions in a simulated processor core. The simulation environment executes a first simulation for a simulated processor core. During the simulation, the simulation environment creates a simulation model dump file. At a later point in time, the simulation environment executes a second simulation for the simulated processor core. The simulation environment saves the state of the simulated processor core. The simulation environment then replaces the state of the simulated processor core by loading the previously created simulation model dump file. The simulation environment then sets the state of the simulated processor core to execute processor-sparing code and resumes the second simulation.
摘要翻译：模拟环境验证模拟处理器内核中的处理器维护功能。仿真环境为模拟处理器核心执行第一次仿真。在仿真期间，仿真环境创建一个模拟转储文件。在稍后的时间点，仿真环境为模拟处理器核心执行第二次仿真。模拟环境节省了模拟处理器内核的状态。然后，仿真环境通过加载先前创建的仿真模型转储文件来替代模拟处理器内核的状态。然后，仿真环境将模拟处理器核心的状态设置为执行处理器备用代码，并恢复第二次仿真。

3. 发明授权

US08527749B2 User device, computer program product and computer system for system for secure network storage 失效
标题翻译：用户设备，计算机程序产品和用于安全网络存储系统的计算机系统
公开(公告)号：US08527749B2
公开(公告)日：2013-09-03
申请号：US12944058
申请日：2010-11-11
申请人： Oliver Augenstein , Stefan Letz
发明人： Oliver Augenstein , Stefan Letz
IPC分类号： H04L29/06
CPC分类号： G06F3/0605 , G06F3/0665 , G06F3/067 , G06F21/6272
摘要： A technique for providing secure network storage by a user device that includes one or multiple network interfaces, a driver configuration component comprising a volume mapping schema and a connection mapping schema, and a driver operable to map I/O requests for logical data blocks to one or multiple network storage volumes as specified by the volume mapping schema, the data transfer between the user device and the one or multiple network storage volumes being mapped to one or multiple network connections as specified by the connection mapping schema, the driver thereby being operable to provide the user device with a logical storage volume.
摘要翻译：一种用于由包括一个或多个网络接口的用户设备提供安全网络存储的技术，包括卷映射模式和连接映射模式的驱动器配置组件，以及用于将逻辑数据块的I / O请求映射到一个或由卷映射模式指定的多个网络存储卷，用户设备和一个或多个网络存储卷之间的数据传输被映射到由连接映射模式指定的一个或多个网络连接，因此驱动器可操作以向用户设备提供逻辑存储卷。

4. 发明授权

US08402403B2 Verifying a register-transfer level design of an execution unit 有权
标题翻译：验证执行单元的寄存器传输级设计
公开(公告)号：US08402403B2
公开(公告)日：2013-03-19
申请号：US12946325
申请日：2010-11-15
申请人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
发明人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
IPC分类号： G06F17/50 , G06F9/455 , G06G7/62
CPC分类号： G06F17/5022 , G06F17/505
摘要： A mechanism is provided for verifying a register-transfer level design of an execution unit. A set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction record is retrieved from the buffer and sent to both a reference model and an execution unit in the data processing system. Separately, the reference model and the execution unit execute the instruction record and send results of the execution of the instruction record to a result checker in the data processing system. The result checker compares the two results and, responsive to a mismatch in the results, a failure of the test case is indicted, the verification of the test case is stopped, and all data associated with the test case is output from the buffer for analysis.
摘要翻译：提供了一种用于验证执行单元的寄存器传送级别设计的机制。生成与测试用例相关联的一组指令记录并将其存储在缓冲器中。对于与测试用例相关联的指令记录集中的每个指令记录：从缓冲器检索指令记录并发送给数据处理系统中的参考模型和执行单元。另外，参考模型和执行单元执行指令记录并将执行指令记录的结果发送到数据处理系统中的结果检查器。结果检查器比较两个结果，并且响应于结果不匹配，指示测试用例的失败，测试用例的验证被停止，并且与测试用例相关联的所有数据从缓冲器输出用于分析。

5. 发明授权

US08001212B2 Method and data processing system for providing XML data 失效
标题翻译：提供XML数据的方法和数据处理系统
公开(公告)号：US08001212B2
公开(公告)日：2011-08-16
申请号：US12109518
申请日：2008-04-25
申请人： Stefan Letz , Roland Seiffert
发明人： Stefan Letz , Roland Seiffert
IPC分类号： G06F15/16
CPC分类号： G06F17/30938 , H04L29/08846 , H04L67/28
摘要： A method and systems for providing XML data is disclosed. In accordance with an embodiment of the invention, a second data processing system, which is connected to a first data processing system via a network, receives a first request over the network from the first data processing system. The first request comprises specifications for subsequent transfers of XML data from the second data processing system to the first data processing system. The specifications specify for which type of XML documents to be transferred in subsequent transfers to the first data processing system which excerpts of XML data shall be sent. An acknowledge message, sent to the first data processing system from the second data processing system, indicates the latter's ability to provide the excerpts of XML data for the types of XML documents in the subsequent data transfers.
摘要翻译：公开了一种用于提供XML数据的方法和系统。根据本发明的实施例，经由网络连接到第一数据处理系统的第二数据处理系统通过网络从第一数据处理系统接收第一请求。第一请求包括用于从第二数据处理系统到第一数据处理系统的XML数据的后续传送的规范。该规范规定在后续传送到要传送的第一个数据处理系统中传送的XML文档类型，将会发送XML数据摘录。从第二个数据处理系统发送到第一个数据处理系统的确认消息指示后者能够在随后的数据传输中提供XML文档的类型的XML数据的摘录。

6. 发明申请

US20110154110A1 Verifying a Register-Transfer Level Design of an Execution Unit 有权
标题翻译：验证执行单位的注册级别转移级别设计
公开(公告)号：US20110154110A1
公开(公告)日：2011-06-23
申请号：US12946325
申请日：2010-11-15
申请人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
发明人： Stefan Letz , Michelangelo Masini , Juergen Vielfort , Kai Weber
IPC分类号： G06F11/26
CPC分类号： G06F17/5022 , G06F17/505
摘要： A mechanism is provided for verifying a register-transfer level design of an execution unit a set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction record is retrieved from the buffer and sent to both a reference model and an execution unit in the data processing system. Separately, the reference model and the execution unit execute the instruction record and send results of the execution of the instruction record to a result checker in the data processing system. The result checker compares the two results and, responsive to a mismatch in the results, a failure of the test case is indicted, the verification of the test case is stopped, and all data associated with the test case is output from the buffer for analysis,
摘要翻译：提供了一种用于验证执行单元的寄存器传送级别设计的机制，与测试用例相关联的一组指令记录被生成并存储在缓冲器中。对于与测试用例相关联的指令记录集中的每个指令记录：从缓冲器检索指令记录并发送给数据处理系统中的参考模型和执行单元。另外，参考模型和执行单元执行指令记录并将执行指令记录的结果发送到数据处理系统中的结果检查器。结果检查器比较两个结果，并且响应于结果不匹配，指示测试用例的失败，测试用例的验证被停止，并且与测试用例相关联的所有数据从缓冲器输出用于分析，

7. 发明授权

US08249848B2 Verifying a processor design using a processor simulation model 有权
标题翻译：使用处理器仿真模型验证处理器设计
公开(公告)号：US08249848B2
公开(公告)日：2012-08-21
申请号：US12182211
申请日：2008-07-30
申请人： Stefan Letz , Kai Weber , Juergen Vielfort
发明人： Stefan Letz , Kai Weber , Juergen Vielfort
IPC分类号： G06F17/50
CPC分类号： G06F9/3859 , G06F17/5022 , G06F2217/68
摘要： An improved method of verifying a processor design using a processor simulation model in a simulation environment is disclosed, wherein the processor simulation model includes at least one execution unit for executing at least one instruction of a test file. The method includes tracking each execution of each of the at least one instruction, monitoring relevant signals in each simulation cycle, maintaining information about the execution of the at least one instruction, wherein the maintained information includes a determination of an execution length of a completely executed instruction, matching the maintained information about the completely executed instruction against a set of trap elements provided by the user through a trap file, and collecting the maintained information about the completely executed instruction in a monitor file in response to a match found between the maintained information and at least one of the trap elements.
摘要翻译：公开了一种使用仿真环境中的处理器仿真模型验证处理器设计的改进方法，其中所述处理器仿真模型包括用于执行测试文件的至少一个指令的至少一个执行单元。该方法包括跟踪每个执行至少一个指令中的每一个，监视每个模拟周期中的相关信号，维护关于至少一个指令的执行的信息，其中维护的信息包括完全执行的执行长度的确定指令，将关于完全执行的指令的维护信息与由用户通过陷阱文件提供的一组陷阱元素相匹配，并且响应于在维护信息之间找到的匹配而将关于完全执行的指令的维护信息收集在监视文件中和至少一个捕获元件。

8. 发明申请

US20080270573A1 Method and Data Processing System for Providing XML Data 失效
标题翻译：提供XML数据的方法和数据处理系统
公开(公告)号：US20080270573A1
公开(公告)日：2008-10-30
申请号：US12109518
申请日：2008-04-25
申请人： Stefan Letz , Roland Seiffert
发明人： Stefan Letz , Roland Seiffert
IPC分类号： G06F15/16
CPC分类号： G06F17/30938 , H04L29/08846 , H04L67/28
摘要： A method and systems for providing XML data is disclosed. In accordance with an embodiment of the invention, a second data processing system, which is connected to a first data processing system via a network, receives a first request over the network from the first data processing system. The first request comprises specifications for subsequent transfers of XML data from the second data processing system to the first data processing system. The specifications specify for which type of XML documents to be transferred in subsequent transfers to the first data processing system which excerpts of XML data shall be sent. An acknowledge message, sent to the first data processing system from the second data processing system, indicates the latter's ability to provide the excerpts of XML data for the types of XML documents in the subsequent data transfers.
摘要翻译：公开了一种用于提供XML数据的方法和系统。根据本发明的实施例，经由网络连接到第一数据处理系统的第二数据处理系统通过网络从第一数据处理系统接收第一请求。第一请求包括用于从第二数据处理系统到第一数据处理系统的XML数据的后续传送的规范。该规范规定在后续传送到要传送的第一个数据处理系统中传送的XML文档类型，将会发送XML数据摘录。从第二个数据处理系统发送到第一个数据处理系统的确认消息指示后者能够在随后的数据传输中提供XML文档的类型的XML数据的摘录。

9. 发明申请

US20120144136A1 RESTORATION OF DATA FROM A BACKUP STORAGE VOLUME 有权
标题翻译：从备份存储量恢复数据
公开(公告)号：US20120144136A1
公开(公告)日：2012-06-07
申请号：US13305774
申请日：2011-11-29
申请人： Oliver Augenstein , Stefan Letz
发明人： Oliver Augenstein , Stefan Letz
IPC分类号： G06F12/16
CPC分类号： G06F11/1469 , G06F11/1456 , G06F11/1471 , G06F11/2074
摘要： A method is provided for restoring data from a backup storage volume onto a source storage volume. A content of a memory unit of the backup storage volume and a content of the corresponding memory unit of the source storage volume are loaded into a computer memory, and are compared in the computer memory for identity. The content of the memory unit of the backup storage volume is written to the corresponding memory unit of the source storage volume if the comparison indicates that the content of the compared memory units is not identical. The invention further relates to a system for restoring data from a backup storage volume onto a source storage volume comprising a restore software running on a data processing device, which is connected to the backup storage volume and the source storage volume, whereby the restore software performs the above method.
摘要翻译：提供了一种用于将数据从备份存储卷恢复到源存储卷上的方法。备份存储卷的存储单元的内容和源存储卷的相应存储单元的内容被加载到计算机存储器中，并且在计算机存储器中进行比较以用于身份。如果比较指示比较的存储器单元的内容不相同，则将备份存储卷的存储单元的内容写入源存储卷的相应存储单元。本发明还涉及一种用于将数据从备份存储卷恢复到源存储卷上的系统，包括连接到备份存储卷和源存储卷的数据处理设备上运行的恢复软件，由此恢复软件执行上述方法。

10. 发明授权

US08930686B2 Deduplication of encrypted data 有权
标题翻译：重复数据删除加密数据
公开(公告)号：US08930686B2
公开(公告)日：2015-01-06
申请号：US13502463
申请日：2010-10-25
申请人： Oliver Augenstein , Stefan Letz
发明人： Oliver Augenstein , Stefan Letz
IPC分类号： H04L29/06 , G06F11/14 , G06F21/60
CPC分类号： G06F11/1453 , G06F11/1451 , G06F11/1464 , G06F21/602 , G06F2221/2141 , H04L9/3247 , H04L2209/68
摘要： A mechanism is provided which allows to de-duplicate encrypted data such that the de-duplication ratio for encrypted data is similar to the de-duplication ration of the corresponding un-encrypted data and the purpose of encryption is not obfuscated, i.e. only the originator of the data (the client) can decrypt—and hence read—the data. This is achieved by interwoven the de-duplication algorithm with the encryption algorithm in a way that the data are encrypted with a key that is generated from the unencrypted data. Afterwards, that key is itself encrypted with an encryption key being private to a particular client. Due to the fact that the private key is not effecting the encrypted data stream, it can still be de-duplicated efficiently.
摘要翻译：提供了一种机制，其允许对加密数据进行去重复，使得加密数据的重复数据删除率与相应的未加密数据的重复数据删除率相似，并且加密的目的不被模糊化，即只有发起者的数据（客户端）可以解密，从而读取数据。这是通过使用加密算法将重复数据删除算法与以非加密数据生成的密钥进行数据加密的方式实现的。之后，该密钥本身使用对特定客户端是私有的加密密钥进行加密。由于私钥不影响加密的数据流，因此仍然可以有效地解除复制。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式