3130 search results - page 534 / 626 » Design Correctness of Digital Systems |
134
click to vote
EMSOFT
2009
Springer
15 years 10 months 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...
126
Voted
SACMAT
2009
ACM
15 years 10 months 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...
175
click to vote
SIGCOMM
2009
ACM
15 years 10 months 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...
129
Voted
CIKM
2007
Springer
15 years 9 months 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...
146
click to vote
IPSN
2007
Springer
15 years 9 months 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,...