1833 search results - page 82 / 367 » Mechanized Verification with Sharing |
122
click to vote
CHI
2009
ACM
15 years 7 months ago
2009
ACM
Photo sharing has become a popular feature of many online social networking sites. Many of the photo sharing applications on these sites, allow users to annotate photos with those...
120
click to vote
JSA
2007
15 years 20 days ago
2007
Multiprocessor system-on-chip (MP-SoC) platforms represent an emerging trend for embedded multimedia applications. To enable MP-SoC platforms, scalable communication-centric inter...
116
click to vote
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— One way to combat P2P file sharing of copyrighted content is to deposit into the file sharing systems large volumes of polluted files. Without taking sides in the file shar...
99
Voted
IWCLS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper provides a deep insight into the learning mechanisms of UCS, a learning classifier system (LCS) derived from XCS that works under a supervised learning scheme...
113
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper introduces a software DSM that can extend its shared object space exceeding 4GB in a 32bit commodity cluster environment. This is achieved through the dynamic memory ma...