1855 search results - page 224 / 371 » Composing model programs for analysis |
147
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
129
click to vote
ESEM
2008
ACM
15 years 4 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
107
click to vote
NOMS
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
114
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
184
click to vote
TCAD
2010
14 years 9 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...