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
01 Jun 1978
TL;DR: In this article, an eight-bit microprocessor sequentially reads controller type instructions from a memory and applies the operation codes of selected ones of the instructions to a hardwired Boolean processor.
Abstract: An eight-bit microprocessor sequentially reads controller type instructions from a memory and applies the operation codes of selected ones of the instructions to a hardwired Boolean processor. The microprocessor also couples status words between an I/O image table stored in the memory and the I/O interface racks which connect the programmable controller to the machine being controlled. In general, those controller type instructions which are word oriented are executed by the microprocessor and those which are single-bit oriented are executed by the Boolean processor. The Boolean processor is operable in combination with the microprocessor to examine selected status bits in the I/O image table and to set selected status bits therein to a logic state which is determined in part by the state of the examined status bits.

46 citations

Patent
12 Nov 2004
TL;DR: In this paper, the authors proposed a method of starting up a digital data interface communication data link, the method comprising driving a data signal to a logic one state for a first predetermined range of strobe cycles, driving the data signal through a logic zero state for the second predetermined range, and transmitting a sub-frame header packet as well as a corresponding system.
Abstract: A method of starting up a digital data interface communication data link, the method comprising driving a data signal to a logic one state for a first predetermined range of strobe cycles; driving the data signal to a logic zero state for a second predetermined range of strobe cycles to start up the digital data interface communication link; and transmitting a sub-frame header packet as well as a corresponding system.

46 citations

Patent
28 Jun 1991
TL;DR: In this paper, a method of performing an autobaud function in data communication equipment utilizing a predetermined state flow machine for processing the bits of at least a portion of a command bit stream for identifying transmit characteristics of a corresponding information bit stream is presented.
Abstract: A method of performing an autobaud function in data communication equipment utilizing a predetermined state flow machine for processing the bits of at least a portion of a command bit stream for identifying transmit characteristics of a corresponding information bit stream

46 citations

Journal ArticleDOI
TL;DR: An extension of function logic that assists in systematic identification of design functions, allocations, and their interrelations is described, which identifies a three-level function/allocation/component information structure to represent the state of the design.
Abstract: Function logic methods have been successfully used in Value Analysis (VA) and Value Engineering (VE) for several decades. This functional approach attempts to provide a common language for specialists in multiple domains. This paper describes an extension of function logic that assists in systematic identification of design functions, allocations, and their interrelations. Our approach identifies a three-level function/allocation/component information structure to represent the state of the design. We illustrate new types of links that exist between functions and the effect of these on the representation of the interrelated functions. These linkages provide new pathways for design information and function evaluation through allocation arithmetic and supported functions. A computational model of the conceptual design process is proposed based on the extended function logic design representation. An outline of the inputs, outputs and operations on form and function variables is given as a step prior to the synthesis process. We illustrate, by example, the process of translating functional representations across specialist domains. Finally, a computer-based aid to developing functional models is described.

46 citations

Proceedings ArticleDOI
01 Dec 1995
TL;DR: This paper formulate and solve an optimal hazard-free and critical race-free encoding problem for a class of MIC asynchronous state machines called burst-mode, and believes this is the first general method for the optimal encoding of hazard- free MIC asynchronousstate machines under a generalized fundamental mode of operation.
Abstract: This paper presents an automated method for the synthesis of multiple-input-change (MIC) asynchronous state machines. Asynchronous state machine design is subtle since, unlike synchronous synthesis, logic must be implemented without hazards, and state codes must be chosen carefully to avoid critical races. We formulate and solve an optimal hazard-free and critical race-free encoding problem for a class of MIC asynchronous state machines called burst-mode. Analogous to a paradigm successfully used for the optimal encoding of synchronous machines, the problem is formulated as an input encoding problem. Implementations are targeted to sum-of-product realizations. We believe this is the first general method for the optimal encoding of hazard-free MIC asynchronous state machines under a generalized fundamental mode of operation. Results indicate that improved solutions are produced, ranging up to 17% improvement.

46 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