3579 search results - page 613 / 716 » Transformations of software models into performance models |
136
click to vote
TCIAIG
2010
14 years 10 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
154
click to vote
CC
2012
Springer
13 years 11 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
155
click to vote
PAMI
2012
13 years 6 months ago
2012
—Understanding the effect of blur is an important problem in unconstrained visual analysis. We address this problem in the context of image-based recognition, by a fusion of imag...
131
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
The backends of today’s Internet services rely heavily on caching at various layers both to provide faster service to common requests and to reduce load on back-end components. ...
144
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...