1403 search results - page 112 / 281 » Quantitative Interprocedural Analysis |
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
Search engines use content and link information to crawl, index, retrieve, and rank Web pages. The correlations between similarity measures based on these cues and on semantic ass...
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
GLOBECOM
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...