1071 search results - page 188 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
135
click to vote
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
126
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
105
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
106
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— As for today, radio spectrum resource is rigidly partitioned for dedicated purposes. The exclusive license of fixed size spectrum blocks separated by guard bands easily solves...
125
click to vote
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE
— Fuzzy Cognitive Maps (FCMs) are a class of discrete-time Artificial Neural Networks that are used to model dynamic systems. A recently introduced supervised learning method, wh...