1140 search results - page 178 / 228 » Embedded Software: Better Models, Better Code |
119
click to vote
ISPASS
2009
IEEE
15 years 8 months ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
112
click to vote
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
— Representation of knowledge within a neural model is an active field of research involved with the development of alternative structures, training algorithms, learning modes an...
118
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
107
click to vote
AUSDM
2006
Springer
15 years 5 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...