28821 search results - page 304 / 5765 » Distributed and parallel systems |
128
Voted
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...
130
click to vote
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
110
Voted
PDCAT
2004
Springer
15 years 9 months ago
2004
Springer
Based on the research on Service Unit based Network Architecture (SUNA), this paper presents a Micro-Communication Element System (MCES) which is a new interconnecting network syst...
140
Voted
SSDBM
1998
IEEE
15 years 8 months ago
1998
IEEE
: Large scientific applications which rely on highly parallel computational analysis require highly parallel data access. We describe an object-oriented, scientific database system...
128
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...