Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,217,199 papers from all fields of science
Search
Sign In
Create Free Account
State (computer science)
Known as:
Application state
, Statefulness
, Stateful protocols
Expand
In computer science and automata theory, the state of a digital logic circuit or computer program is a technical term for all the stored information…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract state machines
Abstraction (software engineering)
Accumulator (computing)
Adaptive grammar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Scanning Electron Microscopy and X-Ray Microanalysis
J. Goldstein
2017
Corpus ID: 135627560
However tunneling the sem as it might not required. If the beam hits objective lenses detectors. The sample and technicians…
Expand
Highly Cited
2007
Highly Cited
2007
The software model checker B last : Applications to software engineering
Dirk Beyer
,
T. Henzinger
,
Ranjit Jhala
,
R. Majumdar
2007
Corpus ID: 195597196
Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal…
Expand
Highly Cited
2003
Highly Cited
2003
Design of a live and maximally permissive Petri net controller using the theory of regions
A. Ghaffari
,
N. Rezg
,
Xiaolan Xie
IEEE Trans. Robotics Autom.
2003
Corpus ID: 2211698
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The…
Expand
Highly Cited
1999
Highly Cited
1999
Avocado: a distributed virtual reality framework
H. Tramberend
Proceedings IEEE Virtual Reality (Cat. No…
1999
Corpus ID: 18691965
We present Avocado, our object-oriented framework for the development of distributed, interactive virtual environment…
Expand
Highly Cited
1997
Highly Cited
1997
Akehurst's Modern Introduction to International Law
P. Malanczuk
1997
Corpus ID: 90569080
1 Introduction 2 History and Theory 3 Sources of international law 4 International law and municipal law 5 States and governments…
Expand
Highly Cited
1996
Highly Cited
1996
The Different Readings of Wieder 'Again': A Structural Account
A. Stechow
Journal of Semantics
1996
Corpus ID: 34941736
L'A. propose une analyse purement structurelle des differentes lectures emergeant de l'allemand wieder (de nouveau). Il demontre…
Expand
Highly Cited
1995
Highly Cited
1995
The Dynascope Directing Server: Design and Implementation
R. Sosič
Computing Systems
1995
Corpus ID: 12818777
As computer systems are becoming increasingly complex, directing tools are gaining in importance. Directing denotes two classes…
Expand
Highly Cited
1990
Highly Cited
1990
The Evolving Philosophers Problem: Dynamic Change Management
J. Kramer
,
J. Magee
IEEE Trans. Software Eng.
1990
Corpus ID: 9256384
A model for dynamic change management which separates structural concerns from component application concerns is presented. This…
Expand
Highly Cited
1980
Highly Cited
1980
Class, State, and Crime
R. Quinney
1980
Corpus ID: 152882561
Highly Cited
1937
Highly Cited
1937
The “closest” estimates of statistical parameters
E. J. G. Pitman
Mathematical Proceedings of the Cambridge…
1937
Corpus ID: 107889187
A definition of “closer” and “closest” as applied to estimates of statistical parameters is given, and it is shown that we can…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE