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.

Information processing device and method, program, and recording medium

Abstract: An information processing apparatus, capable of identifying vital sign information. A learning unit identifies an emotion/state of the user by comparing the generated feature vectors with feature vectors accumulated in a storage unit. Information indicating the resultant identified emotion/state of the user is output to an output unit via an output controller.

Generation of trace elements within a data processing apparatus

Abstract: A data processing apparatus and method for generating trace elements is provided. The data processing apparatus comprises a device for performing a sequence of operations including memory operations on data values having associated data addresses. For at least some of the memory operations the data address is determined relative to an architectural state value of an item of architectural state of the device. Trace logic is provided for receiving indications of the sequence of operations being performed by the device, and for generating from the indications a stream of trace elements. When for a memory operation the data address is determined to have been determined relative to an architectural state value of the item of the architectural state, the trace logic is operable dependent on that item of architectural state to omit at least one of a data address indication and a data value indication from the stream of trace elements generated in respect of that memory operation. A trace analysing apparatus can then be provided to reconstruct such omitted information based on a tracked architectural state value of the relevant item of architectural state.

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Abstract: Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication The main specification notation focused on in this book is LOTOS An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures In addition, the book discusses communicating automata approaches (both finite and infinite state); how the theory can be generalised to the timed setting; and, finally, the authors generalise the (finite and infinite state) communicating automata notations to yield timed automata and discrete timed automata This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading

Controls and indicators for a secondary operational mode of a computer system

Abstract: A portable computer case whether in a closed state or open state permits a user to exercise control and monitor certain operating features. The user may toggle a control switch to place the computer system in a secondary operational mode, determine when a computer system is in a secondary operational mode, and adjust a digital master volume control during the secondary operational mode. The portable computer system includes a status indicator for indicating when a computer is in a secondary operational mode, digital master volume control buttons operable in a secondary operational mode, and a control switch for placing the computer system in a secondary operational mode. The status indicator, volume control buttons, and control switch are preferably provided on a top surface of the bottom shell of the portable computer for convenient access by a user. As such, a user is capable of placing the computer system in a secondary operational mode and determining when the computer system is in a secondary operational mode without opening the portable computer case. A user is also capable of adjusting volume control during a secondary operation mode without the need to access a plurality of volume controls, sort through software to adjust the volumes of the audio sources, or open the portable computer case to visualize volume controls for the audio sources on the main display screen.

Security system and method for a portable personal computer

Abstract: The system includes (1) a sensor for detecting a separation of the portable computer from an object, the sensor transitioning from an inactivated state to an activated state when the portable computer is separated and (2) an alarm circuit coupled to the sensor and having a disarmed state and an armed state, the alarm circuit detecting when the sensor is in the activated state and issuing a notification when the alarm circuit is in the armed state and the sensor is in the activated state.