1833 search results - page 239 / 367 » Mechanized Verification with Sharing |
137
click to vote
JNW
2008
15 years 6 months ago
2008
As the Internet becoming popular, many sectors such as banking and other financial institutions are adopting e-services and improving their Internet services. However, the e-servic...
160
click to vote
JSAC
2006
15 years 6 months ago
2006
We consider problems of provisioning an excludable public good amongst n potential members of a peer-to-peer system who are able to communicate information about their private pre...
167
click to vote
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
We examine the ability of CMPs, due to their lower onchip communication latencies, to exploit data parallelism at inner-loop granularities similar to that commonly targeted by vec...
173
click to vote
IJCINI
2007
15 years 6 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
180
click to vote
CCR
2004
15 years 6 months ago
2004
Current TCP-friendly congestion control mechanisms adjust the packet rate in order to adapt to network conditions and obtain a throughput not exceeding that of a TCP connection op...