7264 search results - page 332 / 1453 » A multiplicative up-propagation algorithm |
187
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
154
click to vote
CCCG
2008
15 years 8 months ago
2008
We define a class of algorithms for constructing coresets of (geometric) data sets, and show that algorithms in this class can be dynamized efficiently in the insertiononly (data ...
202
click to vote
MMNS
1997
15 years 8 months ago
1997
A single failure in a communication network can trigger many alarms. We propose an alarm ltering algorithm for the management of an optical network using Wavelength Division Multi...
185
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
174
click to vote
AHS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a multi-objective algorithm for on-line adaptation of a multi-carrier code-division multiple access (MC-CDMA) receiver. A specially tailored Genetic Algorithm ...