Topic
State (computer science)
About: State (computer science) is a research topic. Over the lifetime, 24436 publications have been published within this topic receiving 225733 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: A characterization of Runtime Verification is proposed and the challenges in developing a method which is both sound and complete while at the same time efficient are addressed.
51 citations
•
04 Feb 2005TL;DR: In this paper, a power-down technique is implemented in a memory device capable of performing a read operation in which data and a data strobe signal are supplied as outputs, and the power down techniques include generating a first signal for preventing the data from being supplied as an output of the memory device, generating a second signal for causing the data strobe signal to remain in a predetermined state, and generating a third signal to prevent the data strobes signal in the predetermined state from being sent as an input to the memory devices.
Abstract: A power down is implemented in a memory device capable of performing a read operation in which data and a data strobe signal are supplied as outputs. The power down techniques includes generating a first signal for preventing the data from being supplied as an output of the memory device, generating a second signal for causing the data strobe signal to remain in a predetermined state, and generating a third signal for preventing the data strobe signal in the predetermined state from being supplied as an output of the memory device.
51 citations
•
11 Sep 1997TL;DR: In this article, a microprocessor includes an expanded set of registers in addition to the architected set of register specified by the microprocessor architecture, which are memory-mapped within the context of the program being executed.
Abstract: A microprocessor includes an expanded set of registers in addition to the architected set of registers specified by the microprocessor architecture employed by the microprocessor. The expanded set of registers are memory-mapped within the context of the program being executed. Upon a context switch, the microprocessor saves the state of the expanded registers to the corresponding memory locations. An application program may make use of the expanded registers by assigning the most-often used operands in the program to the set of memory locations corresponding to the expanded registers. The application programmer may than code instructions which access these operands with register identifiers corresponding to the expanded registers. In one embodiment, the microprocessor implements a portion of the expanded registers instead of the entire set of expanded registers. The implemented portion of the expanded registers are accessed as register accesses, while the unimplemented portion are converted to memory accesses. The decode unit within the microprocessor may be configured to convert instructions which are coded to access the unimplemented expanded registers into memory operations to access the corresponding memory location.
51 citations
•
28 Sep 1992TL;DR: In this paper, a mixed mode simulation method and apparatus are provided for highly accurately simulating the total characteristics of a digital analyzed circuit and an analog analyzed circuit portion, which are both subjected to mixed-mode simulation.
Abstract: A mixed mode simulation method and apparatus are provided for highly accurately simulating the total characteristics of a digital analyzed circuit portion and an analog analyzed circuit portion, which are both subjected to mixed mode simulation, in consideration of the influence exerted on the analog analyzed circuit portion by a current consumed by the digital analyzed circuit portion. More particularly, a current value of an equivalent circuit for current calculation modeled for providing the analog analyzed circuit portion with a current generated due to an operating state of the digital analyzed circuit portion realized by logic simulation is determined in synchronism with the logic simulation, and the equivalent circuit for current calculation derived thereby is composed with the analog analyzed circuit portion, and this composite circuit is subjected to circuit simulation.
51 citations
•
29 Jun 2006TL;DR: Errors are captured, packaged, and reported in a client application and sent to a server computer for logging and diagnosis in a distributed computing environment as discussed by the authors, where client applications may package pertinent information about the client system configuration, the state of the client application at the time of the error, and other useful information, and send the packaged information to the server computer so that developers may identify and diagnose problems and monitor application's performance.
Abstract: Errors are captured, packaged, and reported in a client application and sent to a server computer for logging and diagnosis in a distributed computing environment. Client applications may package pertinent information about the client system configuration, the state of the client application at the time of the error, and other useful information, and send the packaged information to a server computer so that developers may identify and diagnose problems and monitor an application's performance. One example includes error capturing and reporting of various scripts that are operable within a client browser application.
51 citations