2025 search results - page 94 / 405 » Software performance modelling using PEPA nets |
116
click to vote
ICPP
2002
IEEE
15 years 5 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
103
Voted
NDSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Software monocultures are usually considered dangerous because their size and uniformity represent the potential for costly and widespread damage. The emerging concept of collabor...
108
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
108
Voted
ICSE
2007
IEEE-ACM
16 years 21 days ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
100
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Assigning tasks to agents is complex, especially in highly dynamic environments. Typical protocol-based approaches for task assignment such as Contract Net have proven their value...