844 search results - page 127 / 169 » Truncated Message Passing |
SOFSEM
2005
Springer
15 years 8 months ago
2005
Springer
Different structures are used in peer-to-peer networks to represent their inherently distributed, self-organized and decentralized memory structure. In this paper, a simple range...
112
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
123
click to vote
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
122
Voted
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
128
Voted
APN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...