12264 search results - page 3 / 2453 » An Analysis of the XSL Algorithm |
120
Voted
ATVA
2011
Springer
14 years 1 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
127
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: Next-generation sequencing (NGS) offers a unique opportunity for high-throughput genomics and has potential to replace Sanger sequencing in many fields, including de-n...
114
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
121
Voted
ASPDAC
2011
ACM
2011
ACM
A structured parallel periodic Arnoldi shooting algorithm for RF-PSS analysis based on GPU platforms
14 years 4 months ago
The recent multi/many-core CPUs or GPUs have provided an ideal parallel computing platform to accelerate the timeconsuming analysis of radio-frequency/millimeter-wave (RF/ MM) int...
133
Voted
TON
2012
13 years 3 months ago
2012
—The deployment of cognitive radio networks enables efficient spectrum sharing and opportunistic spectrum access. It also presents new challenges to the classical problem of int...