42507 search results - page 175 / 8502 » On the analysis of |
163
click to vote
BPM
2000
Springer
15 years 11 months ago
2000
Springer
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
188
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
149
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
162
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
171
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
X-ray spectroscopic analysis is a powerful tool for plasma diagnostics. We use genetic algorithms to automatically analyze experimental X-ray line spectra and discuss a particular...