11051 search results - page 342 / 2211 » An Investigation of Generalized Cases |
147
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper empirically explores the correlations between a suite of structural stability metrics for object-oriented designs and post-release defect density. The investigated stab...
149
click to vote
WSC
1998
15 years 8 months ago
1998
In Gross and Juttijudata (1997) a single node, G/G/1 queue was investigated as to the sensitivity of output performance measures, such as the mean queue wait, to the shape of the ...
267
click to vote
LATINCRYPT
2010
15 years 5 months ago
2010
This paper discusses the security of a leakage-resilient stream cipher presented at FOCS 2008, instantiated in a practical setting. Based on a case study, we put forward implementa...
167
click to vote
DAC
2003
ACM
16 years 3 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
172
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...