1612 search results - page 176 / 323 » A relational approach to software metrics |
349
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
214
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...
186
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
198
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Ranking a set of retrieved documents according to their relevance to a query is a popular problem in information retrieval. Methods that learn ranking functions are difficult to o...
153
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...