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
13 Mar 2000
TL;DR: In this article, a method for placing a device in a reduced power-consumption mode of operation is described, which comprises the steps of initializing a device select signal into a first logic state, asserting the device select signals in a second logic state and returning the device selects signals to the first logic states within a first predetermined time window.
Abstract: A method for placing a device in a reduced power-consumption mode of operation. The method comprises the steps of initializing a device select signal into a first logic state, asserting the device select signal in a second logic state, and returning the device select signal to the first logic state within a first predetermined time window. A device is also described that includes means for detecting logic state transitions at a device select input and a clock input, and means for changing operating mode of the device in response to a predetermined number of logic state transitions at the clock input, occurring between logic state transitions at the device select input.

50 citations

Patent
Richard Dale Hoffman1
21 Nov 1997
TL;DR: In this article, a storage handle is defined as a short fixed length field enabling compact reference and use regardless of the amount of data stored, and storage space is periodically reclaimed and reused after being freed by the application.
Abstract: A system and method for maintaining application state information in a stateless environment. State data of arbitrary length is stored in a storage area at a location referenced by a storage handle. The storage handle is recorded by the application and is used to reaccess the data as required. The storage handle is defined as a short fixed length field enabling compact reference and use regardless of the amount of data stored. Storage space is periodically reclaimed and reused after being freed by the application.

50 citations

Book ChapterDOI
01 Mar 1995
TL;DR: In this article, the authors present a formal model of MyWorld, a testbed for experimentation in distributed Artificial Intelligence (DAI), and a logic that can be used to represent the properties of Myworld systems.
Abstract: The ultimate goal of the work presented in this article is to develop practical frameworks for formally reasoning about multi-agent systems. Such frameworks are particularly important, as multi-agent approaches are inherently complex, and are already being applied in safety-critical domains such as air traffic control. The article is in three parts. The first contains an informal overview of MyWorld, a testbed for experimentation in Distributed Artificial Intelligence (DAI). A MyWorld system contains a number of concurrently executing agents, each of which is programmed along the lines proposed by Shoham in his Agent-Oriented Programming (AOP) proposal [22]. The second part of the article contains a detailed formal model of MyWorld, which rigorously defines the possible states and state transitions of MyWorld agents. The third part develops a logic that can be used to represent the properties of MyWorld systems; this logic is closely related to the formal model of MyWorld, in that the histories traced out in the execution of a system are used as the semantic basis for the logic. We comment on the applications of the logic, and conclude by indicating areas for future work.

50 citations

Patent
22 Nov 2004
TL;DR: In this paper speculative state is committed to the architectural state of the microprocessor at a series of commit points within a trace, rather than committing the state as a single atomic operation at the end of the trace.
Abstract: Method and hardware apparatus are disclosed for reducing the rollback penalty on exceptions in a microprocessor executing traces of scheduled instructions. Speculative state is committed to the architectural state of the microprocessor at a series of commit points within a trace, rather than committing the state as a single atomic operation at the end of the trace.

50 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