Sciweavers

2662 search results - page 314 / 533
» Objects-early tools: a demonstration
Sort
View
FPL
2005
Springer
96views Hardware» more  FPL 2005»
16 years 3 days ago
FPGA PLB Evaluation using Quantified Boolean Satisfiability
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
Andrew C. Ling, Deshanand P. Singh, Stephen Dean B...
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 3 days ago
RABNET: a real-valued antibody network for data clustering
This paper proposes a novel constructive learning algorithm for a competitive neural network. The proposed algorithm is developed by taking ideas from the immune system and demons...
Helder Knidel, Leandro Nunes de Castro, Fernando J...
HPCC
2005
Springer
16 years 3 days ago
Trace-Based Parallel Performance Overhead Compensation
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
Felix Wolf, Allen D. Malony, Sameer Shende, Alan M...
ICCS
2005
Springer
16 years 2 days ago
Semi-automated Simulation Transformation for DDDAS
Ultimate DDDAS success demands that DDDAS simulations be increasingly reconfigurable and adaptable to a growing variety of runtime sensor feedback. Because we expect a simulation...
David C. Brogan, Paul F. Reynolds Jr., Robert G. B...
ICCS
2005
Springer
16 years 2 days ago
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
Albert Hartono, Alexander Sibiryakov, Marcel Nooij...