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
Journal ArticleDOI
Wei Sun1, Can Zhou1, Chun-Hu Xu1, Chen-Jie Fang1, Chao Zhang1, Zhan-Xian Li1, Chun-Hua Yan1 
TL;DR: A molecular computing platform to defend against illegal information theft and invasion is obtained by the rational control of chemical reaction sequences in a newly prepared multiswitchable fluorophore 2-(4-aminophenylethylyl)-5-methoxy-2-(2-pyridyl)thiazole.
Abstract: A molecular computing platform to defend against illegal information theft and invasion is obtained by the rational control of chemical reaction sequences in a newly prepared multiswitchable fluorophore 2-(4-aminophenylethylyl)-5-methoxy-2-(2-pyridyl)thiazole. Some of the fluorescent states with distinct recognition features are only activated through input-sequence-sensitive conversions. Chemically encoded user identity information can then be transmitted from a sequential logic unit to a combinational logic circuit, and hence, result in user-specific digital functionalities. The user's password entry is authorized prior to each computing step to check not only the user's identity, but also to reconfigure the molecular platform from the standby state to the corresponding operational state. Illegal accesses to the molecular computing platform are unable to activate the operation of the trusted users due to the incorrect activation processes, thereby ensuring the information is secured against information invasions.

56 citations

Journal ArticleDOI
TL;DR: The world of aviation flight simulation is an old one as computer graphics applications go, but how did it progress to its current state, and where is it going next?
Abstract: The world of aviation flight simulation is an old one as computer graphics applications go. How did it progress to its current state, and where is it going next?

56 citations

01 Jan 1999
TL;DR: This work presents an alternative approach to the implementation of FSMs in OO languages, and presents a blackbox framework that implements this approach and a tool that automates the configuration of the framework.
Abstract: Finite State Machines (FSM) provide a powerful way to describe dynamic behavior of systems and components. However, the implementation of FSMs in OO languages, often suffers from maintenance problems. The State pattern described in [5] that is commonly used to implement FSMs in OO languages, also suffers from these problems. To address this issue we present an alternative approach. In addition to that a blackbox framework is presented that implements this approach. In addition to that a tool is presented that automates the configuration of our framework. The tool effectively enables developers to create FSMs from a specification.

56 citations

Book ChapterDOI
16 May 2017
TL;DR: HyPro, the authors' free and open-source C++ programming library, is introduced, which offers implementations for the most prominent state set representations used by flowpipe-construction-based reachability analysis techniques for hybrid systems.
Abstract: In this tool paper we introduce HyPro, our free and open-source C++ programming library, which offers implementations for the most prominent state set representations used by flowpipe-construction-based reachability analysis techniques for hybrid systems.

56 citations

Patent
19 Apr 2011
TL;DR: In this paper, a nonvolatile memory (NVM) programming method for a NVM includes performing a LSB programming operation programming all LSB logical pages, and thereafter performing a MSB programming operator programming all MSB logical pages.
Abstract: A programming method for a nonvolatile memory device includes performing a LSB programming operation programming all LSB logical pages, and thereafter performing a MSB programming operation programming all MSB logical pages, wherein during the LSB programming operation a selected MLC is programmed to a negative intermediate program state. A program sequence for the LSB and MSB programming operations may be sequential or non-sequential in relation to an order arranged of word lines.

56 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