Sciweavers

2303 search results - page 170 / 461
» Interior-Point Methods in Parallel Computation
Sort
View
129
Voted
IPPS
2006
IEEE
15 years 9 months ago
A pattern selection algorithm for multi-pattern scheduling
The multi-pattern scheduling algorithm is designed to schedule a graph onto a coarse-grained reconfigurable architecture, the result of which depends highly on the used patterns....
Yuanqing Guo, Cornelis Hoede, Gerard J. M. Smit
112
Voted
PARELEC
2006
IEEE
15 years 9 months ago
A Fault-Tolerant Dynamic Fetch Policy for SMT Processors in Multi-Bus Environments
Modern microprocessors get more and more susceptible to transient faults, e.g. caused by high-energetic particles due to high integration, clock frequencies, temperature and decre...
Bernhard Fechner
PPSN
2004
Springer
15 years 9 months ago
Optimising the Performance of a Formula One Car Using a Genetic Algorithm
Formula One motor racing is a rich sport that spends millions on research and development of highly optimized cars. Here we describe the use of a genetic algorithm to optimize 66 s...
Krzysztof Wloch, Peter J. Bentley
103
Voted
IPPS
1998
IEEE
15 years 7 months ago
Artificial Neural Networks on Reconfigurable Meshes
:Artificial neural networks(ANN) have been used successfully in applications such as pattern recognition, image processing, automation and control. Majority of today's applica...
Jing-Fu Fu Jenq, Wing Ning Li
156
Voted
PODC
1994
ACM
15 years 7 months ago
Open Systems in TLA
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
Martín Abadi, Leslie Lamport