2025 search results - page 125 / 405 » Software performance modelling using PEPA nets |
155
click to vote
WCET
2010
15 years 1 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
139
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
129
click to vote
WCRE
2009
IEEE
15 years 10 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
149
click to vote
SQJ
2008
15 years 3 months ago
2008
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
129
click to vote
EUROSYS
2007
ACM
16 years 12 days ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...