4356 search results - page 107 / 872 » Communicating Transactions - (Extended Abstract) |
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
The development of communications services for distributed applications that are both well-structured (layered) and efficient can be difficult. This paper presents a C++ framework...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
HIPEAC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper advocates the placement of Architecturally Visible Communication (AVC) buffers between adjacent cores in MPSoCs to provide highthroughput communication for str...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...