12981 search results - page 2203 / 2597 » Model Checking (Abstract) |
137
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Multiple-voltage is an effective dynamic power reduction design technique. Recent research has shown that testing for resistive bridging faults in such designs requires ...
138
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Recent breakthroughs in circuit and process technology have enabled new usage models for non-volatile memory technologies such as Flash and phase change RAM (PCRAM) in t...
129
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—This work proposes reliability aware through silicon via (TSV) planning for the 3D stacked silicon integrated circuits (ICs). The 3D power distribution network is modele...
130
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Under CPA and CCA1 attacks, a secure bit encryption scheme can be applied bit-by-bit to construct a secure many-bit encryption scheme. The same construction fails, howe...
148
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— Existing channel assignment algorithms designed for multi-radio multi-channel wireless mesh networks (MRMC-WMN) mainly deal with orthogonal or nonoverlapped channels. But in re...