21437 search results - page 4084 / 4288 » Hardware |
187
click to vote
RTAS
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
180
click to vote
SASO
2007
IEEE
16 years 25 days ago
2007
IEEE
With the rapidly falling price of hardware, and increasingly available bandwidth, the storage technology is seeing a paradigm shift from centralized and managed mode to distribute...
173
click to vote
SP
2007
IEEE
16 years 24 days ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...
194
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
179
click to vote
ALGOSENSORS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We consider the problem of counting the number of indistinguishable targets using a simple binary sensing model. Our setting includes an unknown number of point targets i...