900 search results - page 38 / 180 » Metric Structures and Probabilistic Computation |
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— The main thesis of this paper is to perform a reliability based performance analysis for a shared latch inserted global interconnect under uncertainty. We first put forward a ...
ECIR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. However,...
VISUALIZATION
1999
IEEE
13 years 12 months ago
1999
IEEE
Visualization of topological information of a vector field can provide useful information on the structure of the field. However, in turbulent flows standard critical point visual...