1833 search results - page 234 / 367 » Mechanized Verification with Sharing |
154
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
188
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Photo tagging is a popular feature of many social network sites that allows users to annotate uploaded images with those who are in them, explicitly linking the photo to each pers...
168
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
142
click to vote
ICPADS
2000
IEEE
15 years 11 months ago
2000
IEEE
Many nonblocking algorithms have been proposed for shared queues. Previous studies indicate that link-based algorithms perform best. However, these algorithms have a memory manage...
164
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an efficient parallel information retrieval (IR) system which provides fast information service for the Internet users on lowcost high-performance PC-NOW enviro...