Sciweavers

1521 search results - page 80 / 305
» On Sampled Semantics of Timed Systems
Sort
View
CISIS
2010
IEEE
14 years 4 months ago
Study of Variations of Native Program Execution Times on Multi-Core Architectures
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Bar...
WCE
2007
14 years 5 days ago
Bootstrap Confidence Interval for the Median Failure Time of Three-Parameter Weibull Distribution
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
N. A. Ibrahim, A. Kudus
JMLR
2008
144views more  JMLR 2008»
13 years 11 months ago
Search for Additive Nonlinear Time Series Causal Models
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
Tianjiao Chu, Clark Glymour
IEEEARES
2009
IEEE
13 years 8 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
Chunyan Mu, David Clark
QUESTA
2000
68views more  QUESTA 2000»
13 years 10 months ago
Ergodicity of the BMAP/PH}/s/s+K retrial queue with PH-retrial times
Define the traffic intensity as the ratio of the arrival rate to the service rate. This paper shows that the BMAP/PH/s/s+K retrial queue with PH-retrial times is ergodic if and onl...
Qi-Ming He, Hui Li, Yiqiang Q. Zhao