691 search results - page 31 / 139 » Automatically Proving Linearizability |
VALUETOOLS
2006
ACM
14 years 3 months ago
2006
ACM
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
IJCAI
1997
13 years 11 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
Ground Glass Opacity (GGO) is defined as hazy increased attenuation within a lung that is not associated with obscured underlying vessels. Since pure (nonsolid) or mixed (partially...