272 search results - page 7 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
EUROPAR
2001
Springer
14 years 1 months ago
2001
Springer
We consider a networking subsystem for message–passing clusters that uses two unidirectional queues for data transfers between the network interface card (NIC) and the lower prot...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
We present a distributed index data structure and algorithms devised to support parallel query processing of multimedia content in search engines. We present a comparative study wi...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
ACMICEC
2007
ACM
14 years 17 days ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...