2025 search results - page 40 / 405 » Software performance modelling using PEPA nets |
ANCS
2011
ACM
12 years 7 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper we describe a serializer component completely realized in .NET managed code, able to run on a stripped versions of the .NET platform (e.g., Compact Framework) and st...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...