1833 search results - page 91 / 367 » Mechanized Verification with Sharing |
123
Voted
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Multiprocessor computer systems are currently widely used in commercial settings to run critical applications. These applications often operate on sensitive data such as customer ...
90
Voted
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
104
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
125
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We consider a cognitive radio system like the future 802.22 networks where license-exempt service providers (SPs) will share a fixed spectrum in a non-interference basis to ea...
109
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Peer-to-peer networks often use incentive policies to encourage cooperation between nodes. Such systems are generally susceptible to collusion by groups of users in order to gain ...