1833 search results - page 329 / 367 » Mechanized Verification with Sharing |
135
Voted
PPOPP
1990
ACM
15 years 8 months ago
1990
ACM
Abstract - A multiprocessor system capable of exploiting fine-grained parallelism must support efficient synchronization and data passing mechanisms. This paper demonstrates the us...
168
click to vote
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
The annotation of web sites in social bookmarking systems has become a popular way to manage and find information on the web. The community structure of such systems attracts spam...
132
click to vote
WICON
2008
15 years 5 months ago
2008
Cognitive Radio (CR) is seen as one of the enabling technologies for realizing a new spectrum access paradigm, viz. Opportunistic Spectrum Sharing (OSS). IEEE 802.22 is the world&...
136
click to vote
IADIS
2003
15 years 5 months ago
2003
The usefulness of online information such as e-publishing and timely notification on the latest scientific or professional news has been widely accepted. However, access to such v...
188
Voted
FUNGAMES
2010
15 years 5 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...