scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
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

Patent
04 Feb 2005
TL;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

Patent
11 Sep 1997
TL;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

Patent
28 Sep 1992
TL;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

Patent
Walter C. Hsueh1, Scott Isaacs1
29 Jun 2006
TL;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


Network Information
Related Topics (5)
Formal specification
18.3K papers, 370.6K citations
76% related
Model checking
16.9K papers, 451.6K citations
74% related
Software development
73.8K papers, 1.4M citations
73% related
Software construction
36.2K papers, 743.8K citations
72% related
Concurrency
13K papers, 347.1K citations
72% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20251
202426
202314,059
202232,515
2021467
2020690