1833 search results - page 329 / 367 » Mechanized Verification with Sharing |
106
Voted
PPOPP
1990
ACM
15 years 5 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...
145
Voted
AIRWEB
2008
Springer
15 years 3 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...
104
Voted
WICON
2008
15 years 2 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&...
112
click to vote
IADIS
2003
15 years 2 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...
144
Voted
FUNGAMES
2010
15 years 2 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...