4491 search results - page 97 / 899 » Algorithm Engineering |
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
APAQS
2000
IEEE
14 years 1 months ago
2000
IEEE
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
FSTTCS
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
CCE
2011
13 years 4 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...