1833 search results - page 262 / 367 » Mechanized Verification with Sharing |
148
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Comprehensively understanding corticosteroid pharmacogenomic effects is an essential step towards an insight into the underlying molecular mechanisms for both benefici...
156
click to vote
COMCOM
2008
15 years 4 months ago
2008
This article presents an integrated admission control and routing mechanism for multi-rate wireless mesh networks. Admission control depends on precise estimates of available band...
184
click to vote
TON
2010
15 years 3 months ago
2010
— Packet forwarding prioritization (PFP) in routers is one of the mechanisms commonly available to network operators. PFP can have a significant impact on the accuracy of networ...
147
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
BitTorrent is today's most influential peer-to-peer system. Currently BitTorrent has two very different operating models: (1) public trackers, and (2) private trackers (also k...
198
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...