597 search results - page 85 / 120 » Best Practices for Software Performance Engineering |
ICSM
2002
IEEE
14 years 19 days ago
2002
IEEE
Current practice of Web site development does not address explicitly the problems related to multilingual sites. The same information, as well as the same navigation paths, page f...
SACMAT
2010
ACM
14 years 15 days 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 ...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
PEPM
1993
ACM
13 years 11 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...