2137 search results - page 40 / 428 » Proving Abstract Non-interference |
115
Voted
MOC
2011
14 years 9 months ago
2011
Abstract. We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizatio...
132
Voted
TWC
2010
14 years 9 months ago
2010
Abstract--We prove that maximum-likelihood (ML) noncoherent sequence detection of orthogonal space-time block coded signals can always be performed in polynomial time with respect ...
149
Voted
CP
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...
134
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
CORR
2007
Springer
15 years 2 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...