597 search results - page 85 / 120 » Best Practices for Software Performance Engineering |
138
Voted
ICSM
2002
IEEE
15 years 7 months 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...
144
click to vote
SACMAT
2010
ACM
15 years 7 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 ...
102
click to vote
ESEC
1999
Springer
15 years 6 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...
120
Voted
PEPM
1993
ACM
15 years 6 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...
124
Voted
CODES
2004
IEEE
15 years 6 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...