2025 search results - page 322 / 405 » Software performance modelling using PEPA nets |
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
ADC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we attempt to parallelise a commodity database for OLAP on a cluster of commodity PCs by using a distributed high-performance storage subsystem. By parallelising the...
ISORC
2003
IEEE
14 years 2 months ago
2003
IEEE
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...