2025 search results - page 298 / 405 » Software performance modelling using PEPA nets |
297
click to vote
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
—For a large and evolving software system, the project team could receive a large number of bug reports. Locating the source code files that need to be changed in order to fix th...
80
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
92
Voted
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
124
Voted
VLSI
2010
Springer
14 years 7 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
122
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...