Sciweavers

13101 search results - page 2360 / 2621
» The design and implementation of microdrivers
Sort
View
IWCC
1999
IEEE
15 years 11 months ago
Single I/O Space for Scalable Cluster Computing
In this paper, we propose a novel Single I/O Space architecture for achieving a Single System Image (SSI) at the I/O subsystem level. This is very much desired in a scalable clust...
Roy S. C. Ho, Hai Jin, Kai Hwang
186
Voted
IWCC
1999
IEEE
15 years 11 months ago
A High Performance Communication Subsystem for PODOS
PODOS is a performance oriented distributed operating system being developed to harness the performance capabilities of a cluster computing environment. In order to address the gr...
Sudharshan Vazhkudai, P. Tobin Maginnis
EKAW
1999
Springer
15 years 11 months ago
Modeling Information Sources for Information Integration
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
François Goasdoué, Chantal Reynaud
LICS
1999
IEEE
15 years 11 months ago
Proof Techniques for Cryptographic Processes
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
ER
1999
Springer
104views Database» more  ER 1999»
15 years 11 months ago
A Taxonomy of Recursive Relationships and Their Structural Validity in ER Modeling
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
James Dullea, Il-Yeol Song
« Prev « First page 2360 / 2621 Last » Next »