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
23 Jun 2013
TL;DR: In this article, the authors present a technique for implementing a method for a machine check architecture environment where an occurrence of an error causes a non-microcoded processing device to enter an error monitoring state.
Abstract: A technology for implementing a method for a machine check architecture environment. A method of the disclosure includes obtaining an occurrence of an error. The occurrence of the error causes a non-microcoded processing device to enter an error monitoring state. The method further processes the error using a dedicated memory portion for the error monitoring state while the non-microcoded processing device is in the error monitoring state. The error monitoring state is dedicated to error processing. The method further determines information associated with the error. The information associated with the error is in a predefined format.

55 citations

Book ChapterDOI
01 Jan 1981
TL;DR: Automatic, computerized diagnosis can be based on several different search strategies, e.g. a search for a match between a pattern of measured data and some stored symptom patterns, or a search to locate a change in the system’s functional state with reference to a stored model of normal or specified plant state.
Abstract: Automatic, computerized diagnosis can be based on several different search strategies, e.g. a search for a match between a pattern of measured data and some stored symptom patterns, or a search to locate a change in the system’s functional state with reference to a stored model of normal or specified plant state. The latter strategy has a number of basic advantages: it is independent of the prediction and analysis of specific faults and events; the reference for search, the normal state, can be derived from actual plant operation by the computer; the strategy can be based on invariate relations such as conservation laws; etc.

55 citations

Patent
Tsung-Hsiang Chang1, Li Yang1
16 Sep 2011
TL;DR: In this paper, a computer-implemented method for moving information between computing devices includes capturing a digital image of a display of a first computing device using a camera of a second computing device.
Abstract: A computer-implemented method for moving information between computing devices includes capturing a digital image of a display of a first computing device using a camera of a second computing device, transmitting, to the first computing device, data that corresponds to the digital image; analyzing the transmitted data on the first computing device to determine whether the digital image matches a current display of the first computing device, and using the analysis to cause one of the first or second computing devices to invoke an application and match a state of an application that is executing on the other of the first or second computing devices.

55 citations

Posted Content
TL;DR: In this paper, the authors present a review of policy frameworks and recent policy changes aimed to foster academic patenting and technology transfer in low- and middle-income countries, and compare these trends with respect to high- income countries.
Abstract: By granting universities and public research organizations (PROs) the rights to their own intellectual property (IP) - patents, copyrights, trademarks, utility models, industrial designs - derived from statefinanced research, and allowing them to commercialize their results, governments seek to accelerate the transformation of scientific discoveries into industrial applications, and to strengthen collaborative ties between the universities and industries. This study reviews the experience of advanced countries and discusses the opportunities and challenges offered by patents to foster technology transfer from government funded research institutions in developing countries. It presents a review of policy frameworks and recent policy changes aimed to foster academic patenting and technology transfer in low- and middle-income countries. It then analyzes patenting activities by universities and PROs and compares these trends with respect to high-income countries. This analysis is complemented with an assessment of the current state of patenting and technology commercialization practices in a selected group of technology transfer offices (TTOs). We finally discuss policy implications and the challenges developing countries face to build effective technology transfer systems and take full benefit of patents and other intellectual property rights.

55 citations

Patent
14 Apr 2010
TL;DR: In this article, the adaptive input device display state can be adjusted by displaying the image data on an adaptive input devices display or adjusting the mapping state according to the input device mapping data.
Abstract: Various embodiments of systems and methods to implement a context-based state change for an adaptive input device are provided. For example, a method is disclosed that may include receiving a state input indicating a change in a system state, changing adaptive input device data in response to the state input, the adaptive input device data including one or more of image data or adaptive input device mapping data, and adjusting an adaptive input device display state using the adaptive input device data. Adjusting the adaptive input device display state may include one or more of displaying the image data on an adaptive input device display or adjusting an adaptive input device mapping state according to the adaptive input device mapping data.

55 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