1833 search results - page 75 / 367 » Mechanized Verification with Sharing |
89
Voted
ICPPW
1999
IEEE
15 years 5 months ago
1999
IEEE
At current on-line shops, buyers almost independently enjoy shopping without anyone's help. However, there are many cases where they cooperate with people such as personal ad...
87
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We show how the traditional protocol stack, such as TCP/IP, can be eliminated for socket based high speed communication within a cluster. The SCI shared memory interconnect is used...
110
Voted
ICPP
1993
IEEE
15 years 4 months ago
1993
IEEE
Current and emerging high-performance parallel computer architectures generally implement one of two types of communication mechanisms: shared memory (SM) or message passing (MP)....
113
Voted
COMCOM
2004
15 years 18 days ago
2004
In this paper, we propose a simple scheduler called SBQ (Service-Based Queuing) to share the bandwidth fairly between unicast and multicast flows according to a new definition of ...
122
Voted
DBSEC
2011
14 years 4 months ago
2011
Online social networks (OSNs) have experienced tremendous growth in recent years and become a de facto portal for hundreds of millions of Internet users. These OSNs offer attractiv...