28821 search results - page 304 / 5765 » Distributed and parallel systems |
171
click to vote
CCGRID
2005
IEEE
15 years 8 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...
166
click to vote
PACT
2005
Springer
16 years 3 days 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...
141
click to vote
PDCAT
2004
Springer
15 years 12 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...
166
click to vote
SSDBM
1998
IEEE
15 years 11 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...
160
click to vote
CONCUR
2001
Springer
15 years 11 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...