8345 search results - page 1370 / 1669 » Design of Neuromorphic Hardwares |
164
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Carbon Nanotubes (CNTs) are grown using chemical synthesis, and the exact positioning and chirality of CNTs are very difficult to control. As a result, “small-width” Carbon Na...
309
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
216
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: We have shown in our past work that the standard configuration of Time-Triggered (TT) Ethernet unifies real-time and non-real-time traffic within a single coherent communication ...
182
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
The memory bandwidth largely determines the performance and energy cost of embedded systems. At the compiler level, several techniques improve the memory bandwidth at the scope of...
171
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...