1833 search results - page 308 / 367 » Mechanized Verification with Sharing |
142
click to vote
PC
2010
15 years 2 months ago
2010
The graphics processing unit (GPU) is used to solve large linear systems derived from partial differential equations. The differential equations studied are strongly convection-...
133
click to vote
PCM
2010
Springer
15 years 2 months ago
2010
Springer
Spectrum normalization is a process shared by two saliency detection methods, Spectral Residual (SR) and Phase Fourier Transform (PFT). In this paper, we point out that the essence...
140
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
128
click to vote
PVLDB
2010
15 years 2 months ago
2010
The tremendous growth of the Internet has significantly reduced the cost of obtaining and sharing information about individuals, raising many concerns about user privacy. Spatial...
158
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...