8347 search results - page 353 / 1670 » Performance testing of software systems |
163
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
123
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
118
Voted
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 10 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
145
click to vote
IJCSA
2007
15 years 4 months ago
2007
Data warehouse systems service larger and larger sets of data. Effective data indexing is not sufficient, because one system node is unable to store such amount ofquickly flowing ...
132
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...