1136 search results - page 154 / 228 » Exploring the multiple-GPU design space |
196
click to vote
SIES
2008
IEEE
16 years 20 days ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
141
click to vote
FMCAD
2007
Springer
16 years 14 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
179
click to vote
ASAP
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
160
click to vote
CCGRID
2006
IEEE
16 years 11 days ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
170
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...