3130 search results - page 534 / 626 » Design Correctness of Digital Systems |
177
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
164
click to vote
SACMAT
2009
ACM
16 years 27 days ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
222
click to vote
SIGCOMM
2009
ACM
16 years 27 days ago
2009
ACM
Mobile phones are becoming a convergent platform for sensing, computation, and communication. This paper envisions VUPoints, a collaborative sensing and video-recording system tha...
182
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
203
click to vote
IPSN
2007
Springer
16 years 16 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...