4305 search results - page 758 / 861 » Analysing Protocol Implementations |
92
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
141
Voted
IDMS
1997
Springer
15 years 6 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
122
click to vote
KDD
1997
ACM
15 years 6 months ago
1997
ACM
When mining large databases, the data extraction problem and the interface between the database and data mining algorithm become important issues. Rather than giving a mining algo...
98
Voted
TACS
1997
Springer
15 years 6 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
112
click to vote
ISCA
1993
IEEE
15 years 6 months ago
1993
IEEE
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be pr...