8345 search results - page 1298 / 1669 » Design of Neuromorphic Hardwares |
154
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
Many of the recently proposed techniques to reduce power consumption in caches introduce an additional level of nondeterminism in cache access latency. Due to this additional late...
181
click to vote
SIGCPR
2003
ACM
16 years 3 days ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
177
click to vote
CAV
2003
Springer
16 years 2 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
170
click to vote
FMCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
158
click to vote
FPL
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...