Sciweavers

9842 search results - page 377 / 1969
» Compositional timing analysis
Sort
View
124
Voted
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 5 months ago
Perturbation analysis of an M/M/1 queue in a diffusion random environment
Abstract. We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein-Uhlenbeck diffusion process (X(t)) so that its value at time t i...
Christine Fricker, Fabrice Guillemin, Philippe Rob...
BMCBI
2006
84views more  BMCBI 2006»
15 years 5 months ago
Phase analysis of circadian-related genes in two tissues
Background: Recent circadian clock studies using gene expression microarray in two different tissues of mouse have revealed not all circadian-related genes are synchronized in pha...
Delong Liu, Shyamal D. Peddada, Leping Li, Clarice...
147
Voted
AFRICACRYPT
2009
Springer
15 years 12 months ago
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
Manuel Barbosa, Pooya Farshim
FOCS
2005
IEEE
15 years 10 months ago
Towards a Final Analysis of Pairing Heaps
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
Seth Pettie
133
Voted
MCS
2008
Springer
15 years 5 months ago
Three-factor profile analysis with GARCH innovations
The technique of ANOVA has been widely used in Economics and Finance where the observations are usually time-dependent but the model itself is treated as independent in time. In t...
Pui-Lam Leung, Wing-Keung Wong