13383 search results - page 2359 / 2677 » Abstractions from proofs |
148
click to vote
ISPASS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--On NVIDIA's many-core GPUs, there is no synchronization function among parallel thread blocks. When finegranularity of data communication and synchronization is requ...
147
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
152
click to vote
P2P
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--When a host discovers that it has a software vulnerability that is susceptible to an attack, the host needs to obtain and install a patch. Because centralized distributio...
152
click to vote
SAICSIT
2010
ACM
15 years 1 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
146
click to vote
UM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...