481 search results - page 52 / 97 » Acceleration of behavioral simulation on simulation specific... |
IJCAI
2007
15 years 1 months ago
2007
Although many powerful AI and machine learning techniques exist, it remains difficult to quickly create AI for embodied virtual agents that produces visually lifelike behavior. T...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
ISQED
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
ICALT
2008
IEEE
15 years 6 months ago
2008
IEEE
Nowadays most universities use different distance learning environments. However in the educational process besides forums, chats and other collaborative possibilities the content...