Abstract: An improved method for debugging of analog and mixed signal behavioral models during simulation using Newton-Raphson iteration replay. The method according to the invention has substantially modified the prior art solution by limiting the interactive debugging steps in a replay of the last iteration of the accepted timepoints. Using this method, the user only interacts with the simulation during the iteration replay, and only for the accepted solution points. If the user is single stepping through this simulation, the simulator enters interactive mode at each statement during the replay. Similarly, if not single stepping, but a breakpoint has been triggered, the simulator enters the interactive mode at the appropriate statement to honor the breakpoint. While the iteration replay is performed, the system of equations does not need to be solved again. Instead, the solution vector is reinstated from the known solution of the last iteration.
Abstract: An improved method for debugging of analog and mixed signal behavioral models during simulation using Newton-Raphson iteration replay. The method according to the invention has substantially modified the prior art solution by limiting the interactive debugging steps in a replay of the last iteration of the accepted timepoints. Using this method, the user only interacts with the simulation during the iteration replay, and only for the accepted solution points. If the user is single stepping through this simulation, the simulator enters interactive mode at each statement during the replay. Similarly, if not single stepping, but a breakpoint has been triggered, the simulator enters the interactive mode at the appropriate statement to honor the breakpoint. While the iteration replay is performed, the system of equations does not need to be solved again. Instead, the solution vector is reinstated from the known solution of the last iteration.
Abstract: A method for the session management of content driven meeting summaries and action items in a commercial environment, which may be tied to multiple back-end cloud services. The method employs an association based data structure directed to improving the organization and persistence of post-meeting generated content or collateral (e.g., meeting summaries, notes, action items, etc.). Further, a method for learned meeting context continuity for past context and future meeting proposals tied to current meeting context. The method may match key topics, conversations, and attendees to deduce relation; and, accordingly, provide suitable next meeting predictions. Moreover, a method for intelligently managing segment audio-visual (AV) replay access, which may be indexed using users, topics, presenters, keywords, etc.
Type:
Application
Filed:
January 22, 2021
Publication date:
July 28, 2022
Inventors:
Vivek Viswanathan Iyer, Loo Shing Tan, Ruizhi Joyce Lu, Mark John Law
Abstract: A method for the session management of content driven meeting summaries and action items in a commercial environment, which may be tied to multiple back-end cloud services. The method employs an association based data structure directed to improving the organization and persistence of post-meeting generated content or collateral (e.g., meeting summaries, notes, action items, etc.). Further, a method for learned meeting context continuity for past context and future meeting proposals tied to current meeting context. The method may match key topics, conversations, and attendees to deduce relation; and, accordingly, provide suitable next meeting predictions. Moreover, a method for intelligently managing segment audio-visual (AV) replay access, which may be indexed using users, topics, presenters, keywords, etc.
Type:
Grant
Filed:
January 22, 2021
Date of Patent:
April 11, 2023
Assignee:
Dell Products L.P.
Inventors:
Vivek Viswanathan Iyer, Loo Shing Tan, Ruizhi Joyce Lu, Mark John Law
Abstract: Provided are a system and method for precisely reproducing a device program execution, such as reproducing a software program executed on a computer for example. The method provides a solution to a class of diagnosis methods known as “record/replay” or “deterministic replay”, where information related to a program execution is recorded for later replay, often for diagnostic purposes to reproduce errors in device function such as software bugs and other anomalous behavior.
Abstract: Recording and replaying computer programs includes state synchronization and thread management techniques that facilitate accurately replaying the recorded execution of a multithreaded application program. State synchronization comprises, during execution of an application program in a computer system, detecting an operation of the application program to write a memory; preventing the operation to write the memory; storing a representation of the memory; permitting the operation to write the memory, resulting in written memory; comparing the written memory to the stored representation; and in response to determining that the written memory is different than the stored representation, generating a notification that a memory state synchronization exception occurred.
Abstract: A method is disclosed for recording and replaying computer programs. In one embodiment, a method of modifying a computer program to support recording execution, comprises the computer-implemented steps of receiving an executable application binary; modifying the executable application binary by adding one or more proxy code elements to result in creating a modified application binary, wherein upon execution of the modified application binary, the one or more proxy code elements create and store recorded information representing all non-deterministic events that occur during the execution. For example, asynchronous callbacks and thread context switches are recorded and can be replayed.
Abstract: Recording and replaying computer programs includes detecting whether a race condition exists among multiple threads of a multithreaded application program. In an embodiment, detecting race conditions comprises detecting and preventing an operation of a first thread of an application program to read or write a computer memory, wherein the application program executes a plurality of threads; storing an exception point representing a current location in an execution path of the application program; allowing the operation to read or write the memory; creating and storing a record identifying the memory, the first thread, and an index value for a location in the execution path; and determining, based on the record and a plurality of other similar records, whether a race condition exists at the exception point for the first thread and one or more other threads in the plurality of the threads.
Abstract: In an embodiment, a data processing system comprises a storage system coupled to a unit under test comprising a heap memory, a static memory and a stack; second logic operable to perform: detecting one or more changes in a first state of the heap memory and the static memory; storing, in the storage system, as a state point of the unit under test, the one or more changes in the first state of the heap memory and the static memory; third logic operable to perform: receiving a request to change the memory under test to a particular state point; in response to the request, loading the particular state point from the storage system and applying the state point to the heap memory and the static memory to result in changing the heap memory and the static memory to a second state that is substantially equivalent to the first state.
Type:
Grant
Filed:
November 21, 2007
Date of Patent:
December 13, 2011
Assignee:
Replay Solutions, Inc.
Inventors:
Jonathan Lindo, Jeffrey Daudel, Arpad Jakab, Suman Cherukuri
Abstract: [Problem] In a system that transmits content data from a content replay device to a content output device, to prevent a deterioration in audio quality or video data picture quality while being able to increase the simplicity of a setting-altering operation without requiring complicated signal processing.
Abstract: A method and system to provide an effective, scalable and yet low-cost solution for Confidentiality, Integrity and Replay protection for sensitive information stored in a memory and prevent an attacker from observing and/or modifying the state of the system. In one embodiment of the invention, the system has strong hardware protection for its memory contents via XTS-tweak mode of encryption where the tweak is derived based on “Global and Local Counters”. This scheme offers to enable die-area efficient Replay protection for any sized memory by allowing multiple counter levels and facilitates using small counter-sizes to derive the “tweak” used in the XTS encryption without sacrificing cryptographic strength.
Type:
Application
Filed:
December 28, 2011
Publication date:
July 24, 2014
Inventors:
Alpa T. Narendra Trivedi, David M. Durham, Men Long, Siddhartha Chhabra, Uday R. Savagaonkar, Carlos V. Rozas
Abstract: [Problem] In a system that transmits content data from a content replay device to a content output device, to prevent a deterioration in audio quality or video data picture quality while being able to increase the simplicity of a setting-altering operation without requiring complicated signal processing.
Abstract: A method and system to provide an effective, scalable and yet low-cost solution for Confidentiality, Integrity and Replay protection for sensitive information stored in a memory and prevent an attacker from observing and/or modifying the state of the system. In one embodiment of the invention, the system has strong hardware protection for its memory contents via XTS-tweak mode of encryption where the tweak is derived based on “Global and Local Counters”. This scheme offers to enable die-area efficient Replay protection for any sized memory by allowing multiple counter levels and facilitates using small counter-sizes to derive the “tweak” used in the XTS encryption without sacrificing cryptographic strength.
Type:
Grant
Filed:
December 28, 2011
Date of Patent:
July 28, 2015
Assignee:
Intel Corporation
Inventors:
Alpa T. Narendra Trivedi, David M. Durham, Men Long, Siddhartha Chhabra, Uday R. Savagaonkar, Carlos V. Rozas
Abstract: Adaptive scaling digital techniques attempt to place the system close to the timing failure so as to maximize energy efficiency. Rapid recovery from potential failures is usually by slowing the system clock and/or providing razor solutions (instruction replay.) These techniques compromise the throughput. This application presents a technique to provide local in-situ fault resilience based on dynamic slack borrowing. This technique is non-intrusive (needs no architecture modification) and has minimal impact on throughput.
Type:
Application
Filed:
October 3, 2013
Publication date:
February 6, 2014
Applicants:
STMicroelectronics SA, STMicroelectronics International N.V.
Abstract: Adaptive scaling digital techniques attempt to place the system close to the timing failure so as to maximize energy efficiency. Rapid recovery from potential failures is usually by slowing the system clock and/or providing razor solutions (instruction replay.) These techniques compromise the throughput. We present a technique to provide local in-situ fault resilience based on dynamic slack borrowing. This technique is non-intrusive (needs no architecture modification) and has minimal impact on throughput.
Type:
Application
Filed:
June 30, 2011
Publication date:
July 12, 2012
Applicants:
STMICROELECTRONICS SA, STMicroelectronics Pvt Ltd.
Abstract: Adaptive scaling digital techniques attempt to place the system close to the timing failure so as to maximize energy efficiency. Rapid recovery from potential failures is usually by slowing the system clock and/or providing razor solutions (instruction replay.) These techniques compromise the throughput. This application presents a technique to provide local in-situ fault resilience based on dynamic slack borrowing. This technique is non-intrusive (needs no architecture modification) and has minimal impact on throughput.
Type:
Grant
Filed:
October 3, 2013
Date of Patent:
March 31, 2015
Assignees:
STMicroelectronics International N.V., STMicroelectronics SA
Abstract: Adaptive scaling digital techniques attempt to place the system close to the timing failure so as to maximize energy efficiency. Rapid recovery from potential failures is usually by slowing the system clock and/or providing razor solutions (instruction replay.) These techniques compromise the throughput. We present a technique to provide local in-situ fault resilience based on dynamic slack borrowing. This technique is non-intrusive (needs no architecture modification) and has minimal impact on throughput.
Type:
Grant
Filed:
June 30, 2011
Date of Patent:
October 8, 2013
Assignees:
STMicroelectronics International N.V., STMicroelectronics SA
Abstract: Problem: An information processing device, an information processing method, and a program are to be provided. Solution: An information processing device including: a mode control unit that determines a replay mode from replay mode candidates including a user dependent mode where output and replay are performed dependently on a user's action and a user independent mode where output and replay are performed independently of the user's action; and a output control unit that controls output and replay of an image, based on the replay mode.
Abstract: An application in production may communicate with one or more heterogeneous services, including requesting and receiving data from a one or more data sources. The communication between the application and the services can include complicated scenarios making facilitating end-to-end testing of the application difficult. The disclosed service virtualization solution works in two stages of ‘record and replay’ to simulate a backend service. During the recording stage, the disclosed tool intercepts the data flow between the client and the service and records the data and during the replay stage, the disclosed tool creates a proxy service that simulates the responses of service application by reading the recorded session file, allowing for the client application to be tested without having to connect to the actual service application.
Abstract: An application in production may communicate with one or more heterogeneous services, including requesting and receiving data from a one or more data sources. The communication between the application and the services can include complicated scenarios making facilitating end-to-end testing of the application difficult. The disclosed service virtualization solution works in two stages of ‘record and replay’ to simulate a backend service. During the recording stage, the disclosed tool intercepts the data flow between the client and the service and records the data and during the replay stage, the disclosed tool creates a proxy service that simulates the responses of service application by reading the recorded session file, allowing for the client application to be tested without having to connect to the actual service application.