8345 search results - page 1511 / 1669 » Design of Neuromorphic Hardwares |
173
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
165
click to vote
ACMACE
2006
ACM
16 years 13 days ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
145
click to vote
ACMSE
2006
ACM
16 years 13 days ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
142
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
— An effectively designed and efficiently used memory hierarchy, composed of scratch-pads or cache, is seen today as the key to obtaining energy and performance gains in data-do...
168
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
—As the VLSI manufacturing technology advances into the deep sub-micron(DSM) era, the mask cost can reach one or two million dollars. Multiple project wafers (MPW) which put di...