Liveness

Known as: Bounded bypass 
In concurrent computing, liveness refers to a set of properties of concurrent systems, that require a system to make progress despite the fact that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1973-2018
010020019732018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
It is a common spoof to use a photograph to fool face recognition algorithm. In light of differences in optical flow fields… (More)
  • figure 1
  • figure 4
  • figure 3
  • figure 5
  • table I
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Modern software model checkers find safety violations: breaches where the system enters some bad state. However, we argue that… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Migrating operating system instances across distinct physical hosts is a useful tool for administrators of data centers and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Biometrics is a rapidly developing technology that is to identify a person based on his or her physiological or behavioral… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Temporal logic is widely used for specifying hardware and software systems. Typically two types of properties are distinguished… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Morphic is a user interface construction environment that strives to embody directness and liveness. Directness means a user… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
A formal characterization for safety properties and liveness properties is given in terms of the structure of the Buchi automaton… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A liveness property asserts that program execution eventually reaches some desirable state. While termination has been studied… (More)
  • figure 3
  • figure 7
  • figure 9
  • figure 10
  • figure 12
Is this relevant?