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 published on a yearly basis
Papers
More filters
•
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
•
23 Oct 1996TL;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
•
12 Apr 2007TL;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
•
IBM1
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
•
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