21094 search results - page 4204 / 4219 » An experiment using DLV-K |
102
click to vote
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
119
click to vote
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Symmetric multiprocessing (SMP) virtual machines (VMs) allow users to take advantage of a multiprocessor infrastructure. Despite the advantage, SMP VMs can cause synchronization l...
124
click to vote
ICLP
2011
Springer
14 years 29 days ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
105
Voted
INFOCOM
2011
IEEE
14 years 28 days ago
2011
IEEE
Abstract—Secondary spectrum access is emerging as a promising approach for mitigating the spectrum scarcity in wireless networks. Coordinated spectrum access for secondary users ...
131
click to vote
INFOCOM
2011
IEEE
14 years 28 days ago
2011
IEEE
Abstract—We propose a routing metric for enabling highthroughput reliable multicast in multi-rate wireless mesh networks. This new multicast routing metric, called expected multi...