2025 search results - page 57 / 405 » Software performance modelling using PEPA nets |
100
click to vote
TAP
2008
Springer
15 years 13 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
93
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
117
click to vote
ENTCS
2010
14 years 10 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
121
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
109
Voted
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...