1136 search results - page 154 / 228 » Exploring the multiple-GPU design space |
144
click to vote
SIES
2008
IEEE
15 years 9 months 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 ...
106
click to vote
FMCAD
2007
Springer
15 years 9 months 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 ...
134
Voted
ASAP
2006
IEEE
15 years 9 months 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...
114
click to vote
CCGRID
2006
IEEE
15 years 9 months 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...
130
Voted
CEC
2005
IEEE
15 years 8 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...