Sciweavers

2025 search results - page 40 / 405
» Software performance modelling using PEPA nets
Sort
View
194
Voted
ANCS
2011
ACM
14 years 2 months ago
ReClick - A Modular Dataplane Design Framework for FPGA-Based Network Virtualization
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
Deepak Unnikrishnan, Justin Lu, Lixin Gao, Russell...
83
Voted
SAC
2005
ACM
15 years 8 months ago
A generic serializer for mobile devices
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...
Mattia Monga, Angelo Scotto
FSTTCS
2009
Springer
15 years 9 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
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...
M. Praveen, Kamal Lodaya
122
Voted
QEST
2007
IEEE
15 years 9 months ago
Interchange Formats for Performance Models: Experimentation and Ouput
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...
Connie U. Smith, Catalina M. Lladó, Ram&oac...
142
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
Globally distributed software development project performance: an empirical analysis
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...
Narayan Ramasubbu, Rajesh Krishna Balan