413 search results - page 51 / 83 » Computing Models for FPGA-Based Accelerators |
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
We have studied two approaches to the modeling of bubbly and cavitating fluids. The first approach is based on the direct numerical simulation of gas bubbles using the interface ...
JVCIR
2006
14 years 11 months ago
2006
A fast inter-prediction mode decision and motion search algorithm is proposed for the H.264 video coding standard. The multi-resolution motion estimation scheme and an adaptive ra...
121
click to vote
VLSID
2004
IEEE
16 years 6 days ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
GECCO
2010
Springer
15 years 1 months ago
2010
Springer
To successfully search multiple coadaptive subcomponents in a solution, we developed a novel cooperative evolutionary algorithm based on a new computational multilevel selection f...
102
click to vote
JVCIR
2007
14 years 11 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...