12264 search results - page 3 / 2453 » An Analysis of the XSL Algorithm |
ATVA
2011
Springer
12 years 6 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....
BMCBI
2011
12 years 9 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...
CAV
2012
Springer
11 years 8 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...
ASPDAC
2011
ACM
2011
ACM
A structured parallel periodic Arnoldi shooting algorithm for RF-PSS analysis based on GPU platforms
12 years 9 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...
TON
2012
11 years 8 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...