2278 search results - page 1 / 456 » Specification Techniques for Automatic Performance Analysis ... |
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
TCAD
2008
13 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
CADE
2004
Springer
14 years 4 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
LISA
2003
13 years 6 months ago
2003
Passive NFS traces provide an easy and unobtrusive way to measure, analyze, and gain an understanding of an NFS workload. Historically, such traces have been used primarily by fil...
CPE
1994
Springer
13 years 8 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...