12257 search results - page 174 / 2452 » Analysis of Algorithms |
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
125
click to vote
ICN
2007
Springer
15 years 7 months ago
2007
Springer
Long-range dependence characteristics have been observed in many natural or physical phenomena. In particular, a significant impact on data network performance has been shown in se...
135
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: Data generated using `omics' technologies are characterized by high dimensionality, where the number of features measured per subject vastly exceeds the number of...
128
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
119
click to vote
JMLR
2010
14 years 8 months ago
2010
Principal component analysis (PCA) is a classical data analysis technique that finds linear transformations of data that retain the maximal amount of variance. We study a case whe...