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.

Method and apparatus for momentarily interrupting power to a microprocessor to clear a fault state

Abstract: A method and apparatus for providing notice of impending initialization prior to initializing a microprocessor to enable the microprocessor to store operating data prior to initialization and to use the stored operating data after initialization. The apparatus includes a notice device for supplying a notice signal to warn the microprocessor of an impending initialization and an interrupt device for supplying an interrupt signal to cause a switching device to momentarily interrupt electrical power to the microprocessor. The cycling of microprocessor power resets microprocessor operations that are sensitive to a power interruption. Upon restoration of microprocessor power, a reset device outputs a processor reset signal that forces the microprocessor to reboot and execute an initialization program. The processor reset signal also synchronously resets the notice device and the interrupt device means to maintain the cycle of intentional initialization of the microprocessor. The microprocessor is programmed to recognize that an initialization of the processor is scheduled to occur and therefore operates to complete current program tasks and initiates the storage of a selected set of operating data. The microprocessor stores the operating data within a memory storage device that remains powered during the interruption of power to the microprocessor. In response to the initialization program, the microprocessor operates to detect whether the initialization of the microprocessor corrupted any of the selected operating data stored within the memory storage device. If the microprocessor finds that the stored operating data is valid, the microprocessor begins operations using the stored operating data.

Adaptive brain training computer system and method

Abstract: A computer system for guiding one or more users through a brain state guidance exercise or routine, such as a meditation exercise, is provided. The computer system includes at least one computing device which may be a smart phone. A computer program which may be a mobile application runs one or more brain state guidance routines that guide at least one user through at least one brain state guidance exercise. The computing device is connected to at least one bio-signal sensor that provides biofeedback information to the computing device, and where the computer program when executed further measures performance of the at least one user relative to one or more brain state guidance related objectives by analyzing the biofeedback information based on stability of state of mind for the user. The computer program may recognize, score and reward states of meditation.

Model Checking Infinite-State Systems: Generic and Specific Approaches

Abstract: University of Edinburgh, PhD in Informatics, September 2006 – August 2010 Thesis: Model Checking Infinite-state Systems: Generic and Specific Approaches Supervisors: Prof. Leonid Libkin and Dr. Richard Mayr Examiners: Prof. Chih-Hao Luke Ong and Prof. Colin Stirling University of Melbourne, BSc (Honours) in Computer Science & Mathematics, February 2001 – December 2004 Thesis: On Unary-conjunctive-view Queries Adviser: Prof. James Bailey

Stochastic Automata Networks

Abstract: A Stochastic Automata Network (SAN) consists of a number of individual stochastic automata that operate more or less independently of each other. Each individual automaton, A, is represented by a number of states and rules that govern the manner in which it moves from one state to the next. The state of an automaton at any time t is just the state it occupies at time t and the state of the SAN at time t is given by the state of each of its constituent automata.

Dual-mode program execution

Abstract: A computing system is configured to execute a computer program on a server and to provide a video stream of the program output to a geographically remote client over a communication network. The computing system is further configured to provide executable content of the computer program to the client over the communication network in parallel with the video stream. When a sufficient amount of the executable content has been provided to the client execution of the computer program is transitioned from the server to the client. The transition optionally includes communicating a state of the computer program from the server to the client. The executable content can be provided to the client in an order that is determined based on the state of the computer program. Those parts of the executable content deemed most likely to be necessary to support game play on the client are given priority.