2278 search results - page 62 / 456 » Specification Techniques for Automatic Performance Analysis ... |
108
click to vote
ICTAI
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
114
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
QSIC
2007
IEEE
15 years 4 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
ENTCS
2008
14 years 9 months ago
2008
This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
VLDB
2007
ACM
15 years 3 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...