2025 search results - page 78 / 405 » Software performance modelling using PEPA nets |
106
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
107
click to vote
GRAPHITE
2003
ACM
15 years 5 months ago
2003
ACM
We present a system allowing real-time image based lighting based on HDR panoramic images. The system performs time-consuming diffuse light calculations in a preprocessing step, w...
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
123
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
141
Voted
CASCON
1996
15 years 1 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...