1833 search results - page 247 / 367 » Mechanized Verification with Sharing |
183
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
— “Word-of-Mouth”, a novel scheme for sharing the service quality experienced with different local networks, is presented and evaluated as a distributed solution for performi...
174
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
We propose minimalist new hardware additions to a microprocessor chip that protect cryptographic keys in portable computing devices which are used in the field but owned by a cen...
172
click to vote
FPL
2007
Springer
16 years 18 days ago
2007
Springer
The complexity of today’s embedded applications requires modern high-performance embedded System-on-Chip (SoC) platforms to be multiprocessor architectures. Advances in FPGA tec...
191
click to vote
OTM
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
177
click to vote
CGO
2005
IEEE
16 years 1 days ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...