12257 search results - page 132 / 2452 » Analysis of Algorithms |
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
This paper focuses on the computation time of evolutionary algorithms. First, some exact expressions of the mean first hitting times of general evolutionary algorithms in finite...
STOC
2009
ACM
14 years 10 months ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
SIGECOM
2004
ACM
14 years 3 months ago
2004
ACM
We introduce new online models for two important aspects of modern financial markets: Volume Weighted Average Price trading and limit order books. We provide an extensive study o...
HVC
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...