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
Patent
06 Jun 2003
TL;DR: In this article, a state machine and system for redundantly backing up data is defined, where a first storage facility is controlled by a first state machine having a finite number of states, each state having a set of allowed operations.
Abstract: A state machine and system for redundantly backing up data. A first storage facility is controlled by a first state machine having a finite number of states, each state having a set of allowed operations. The first state machine includes at least one state for controlling the first storage facility to operate as a primary storage facility for storing and updating a primary copy of the data. A second storage facility is controlled by a second state-machine that has least one state for controlling the second storage facility to operate as a secondary storage facility for storing redundant data. The second state machine also has at least one state for controlling the second storage facility to operate as the primary storage facility. The second storage facility assumes the role of primary in response to a fault at the first storage facility or based on the origin of request traffic. The first and second state machines may also include states for responding to various fault conditions and may include substantially the same states as the other.

124 citations

Patent
13 Feb 1992
TL;DR: In this article, a method and computer system for coaching a user how to perform application program tasks is provided, where the user activates the coaching program of the present invention while an application program is running on the computer system.
Abstract: A method and computer system for coaching a user how to perform application program tasks is provided. The user activates the coaching program of the present invention while an application program is running on the computer system. If the user needs such assistance, the coaching program helps the user determine the next task the user wishes to perform in the application program. The coaching program then determines if the application program is in the correct state for performance of the next task. If the application program is not in the correct state, the coaching program guides the user through performing essential preliminary tasks that place the application program in the correct state for performance of the next task. The computer system simultaneously displays on the display screen output, such as application program instructions, generated by the coaching program and a user interface display generated by the application program. Output generated by the coaching program always overlays the user interface display in such a way that it does not block the working portion of the user interface display and it does not interrupt the operation of the application program. The user performs the next task in the application program by interacting with the working portion of the user interface display, while the computer system continues to display the output generated by the coaching program. This enables the user to read instructions displayed on the display screen on how to perform the next task during performance of the next task.

124 citations

Patent
19 Nov 2002
TL;DR: In this paper, the authors propose a method for a computer repairing itself to an operational status at any time during operation, the method comprising the computer-executed steps of: booting from a first hard disk drive boot device disposed within a main computer hardware box of the computer; then, in response to a signal indicating a need for repair of a computer during the booting or during any operating state.
Abstract: A method for a computer repairing itself to an operational status at any time during operation, the method comprising the computer-executed steps of: booting from a first hard disk drive boot device disposed within a main computer hardware box of the computer; then, in response to a signal indicating a need for repair of the computer during the booting or during any operating state, booting from a second hard disk drive boot device also disposed within the main computer hardware box of the computer prior to the signal indicating a need for repair; and then repairing software on the first hard disk drive while booted from the second hard disk drive boot device and selectively either: (i) maintaining operation of the computer from the second boot device to restore operational status of the computer during repairing of the software on the first hard disk device, or (ii) changing to operation of the computer from the second boot device to the first boot device to restore operational status of the computer.

124 citations

Patent
20 Apr 2004
TL;DR: In this article, a method and system for auxiliary processing of information for a computing device is presented by simplifying the user managed power states to On and Standby, which preserves its execution context by default when the machine is powered down.
Abstract: A method and system for auxiliary processing of information for a computing device. By simplifying the user managed power states to On and Standby, the computing device preserves its execution context by default when the machine is powered down. As a result, the computing device is made available for use even when it appears to be powered down. The computer hardware and software is capable of responding immediately to network or communication activity, user input, and other events. While the computer is in Standby, it is alert and able to handle background tasks that do not require user interaction. Activities such as answering phone calls, handling voice mail, displaying new e-mail, record voice messages, browsing the Internet, recording TV shows and so forth occur without the user having to turn on the computer. With the addition of an auxiliary processor and auxiliary display, the computer is capable of independently handling such activities while it is in the Standby state. Advantageously, the computer may be awakened by the auxiliary processor as needed to handle background tasks that do not require user interaction.

124 citations

Journal ArticleDOI
TL;DR: In this article, the authors presented an overview of how temporal logic synthesis, coupled with abstractions and continuous bisimilar controllers, can be used to generate high-level, reactive robot control.
Abstract: In this article, we presented an overview of how temporal logic synthesis, coupled with abstractions and continuous bisimilar controllers, can be used to generate high-level, reactive robot control. We illustrated the ideas using the DUC mission, and we presented two approaches to deal with the inherent state explosion problem.

124 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