1833 search results - page 329 / 367 » Mechanized Verification with Sharing |
PPOPP
1990
ACM
14 years 3 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...
AIRWEB
2008
Springer
14 years 1 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...
WICON
2008
14 years 12 days 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&...
IADIS
2003
14 years 10 days 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...
FUNGAMES
2010
14 years 2 days 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...