8345 search results - page 1360 / 1669 » Design of Neuromorphic Hardwares |
191
click to vote
ESAS
2005
Springer
16 years 8 days ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
184
click to vote
FPGA
2005
ACM
16 years 8 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
174
click to vote
FPL
2005
Springer
16 years 8 days ago
2005
Springer
In many industrial processes, an incorrect operation can lead to irreparable damage to people, equipment, or the environment. In order to reduce risks, the electronic control syst...
160
click to vote
HUC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
178
click to vote
HVC
2005
Springer
16 years 8 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...