8345 search results - page 1502 / 1669 » Design of Neuromorphic Hardwares |
201
click to vote
IPSN
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents SHiMmer, a wireless platform for sensing and actuation that combines localized processing with energy harvesting to provide long-lived structural health monito...
151
click to vote
RV
2007
Springer
16 years 18 days ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
166
click to vote
SACRYPT
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
163
click to vote
SAMOS
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
154
click to vote
SAT
2007
Springer
16 years 18 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...