597 search results - page 56 / 120 » Best Practices for Software Performance Engineering |
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
CSSE
2006
IEEE
13 years 7 months ago
2006
IEEE
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
WOSP
2000
ACM
14 years 3 days ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
IEEEPACT
2007
IEEE
14 years 2 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...