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
02 Nov 1992
Abstract: An adaptive elevator security system has a security module (52) which uses data stored in a configuration data element (64) to update a security state data element (62) The security module (52) provides data from a raw car/hall call data element (56) to a filtered car/hall call data element (58) according to data stored in the security state data element (62)

55 citations

Patent
Denton Gentry1
23 Oct 1996
TL;DR: In this article, the authors propose a method and apparatus that provides for the atomic transfer of data associated with a command to be transferred to a device consisting of a cache memory which supports a plurality of virtual devices.
Abstract: A method and apparatus that provides for the atomic transfer of data associated with a command to be transferred to a device consisting of a cache memory which supports a plurality of virtual devices. The atomic transfer enables the device to initiate and complete execution of the command immediately with respect to a particular virtual device without having to wait for data to come during subsequent bus transfers. This insures that the state of the device will be consistent during execution of the command.

55 citations

Patent
12 Apr 2007
TL;DR: In this paper, a method and system for simulating state retention of a register-transfer-level (RTL) design is presented. But the method is limited to the case where the power domains are controlled by a set of power control signals through a power manager logic.
Abstract: Method and system for simulating state retention of an RTL design are disclosed. The method includes receiving a netlist description of the circuit represented in a register-transfer-level (RTL) design environment, receiving power information specifications of the circuit, identifying one or more power domains of the circuit using the netlist description and the power information specifications, associating the one or more power domains and the power information specifications in the RTL design environment, where the one or more power domains are controlled by a set of power control signals through a power manager logic, and simulating state retention behavior in response to variations in power applied to the power domain.

55 citations

Patent
22 Dec 2003
TL;DR: In this paper, a framework for creating instant messaging Bots that autonomously operate within an instant messaging sessions to respond to requests from other user(s) or Bot(s), is presented.
Abstract: A framework for creating instant messaging Bots that autonomously operate within an instant messaging sessions to respond to requests from other user(s) or Bot(s). Bot operation is defined by a state machine with one or more states that are described in XML documents. These XML documents abide by the grammar of a Bot Transition Definition Language (BTDL) that is defined in an XML schema. A Bot developer creates a state transition diagram via a Graphical User Interface. The state transition diagram defines states, transitions between states, and conditions for each of those state transitions and methods to be performed upon each state transition. An XML document that conforms to BTDL format is created from the state transition definition diagram. Both stateful and stateless Bots are defined using XML documents abiding to a BTDL format. A runtime environment implements the Bots, accepts runtime inputs and generates responses.

55 citations

Book
01 Jan 2003
TL;DR: This book defines the notion of Dynamic Logic Programming, based on the concept of Logic Program Updates, which characterizes knowledge given by a sequence of logic programs, each representing a state of the world.
Abstract: In this book, we incrementally specify, semantically characterize, and illustrate with examples, the concepts and tools necessary to the development of Evolving Knowledge Bases (EKB). An EKB is a knowledge base which can not only be externally updated, but is also capable of self evolution by means of its internally specified behavior. To this purpose, we first define the notion of Dynamic Logic Programming, based on the concept of Logic Program Updates, which characterizes knowledge given by a sequence of logic programs, each representing a state of the world. Then, we set forth a language capable of uniformly specify both the external updates as well as the knowledge base's internal behaviour and its updates.

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