2312 search results - page 167 / 463 » Invariance in Property Testing |
154
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
116
Voted
ACS
2007
15 years 4 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
131
click to vote
TIT
2002
15 years 4 months ago
2002
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...
110
click to vote
TOPLAS
2010
15 years 2 months ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
337
click to vote
ACTA
2011
14 years 11 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...