Sciweavers

4757 search results - page 95 / 952
» A Unique
Sort
View
MSS
2000
IEEE
81views Hardware» more  MSS 2000»
15 years 8 months ago
Performance of an MPI-IO Implementation Using Third-Party Transfer
We present a unique new implementation of MPI-IO (as defined in the recent MPI2 message passing standard) that is easy to use, fast, efficient, and complete. Our implementation ...
Richard Hedges, Terry Jones, John May, Robert Kim ...
DGCI
2000
Springer
15 years 8 months ago
Digital Jordan Curve Theorems
The importance of digital geometry in image processing is well documented. To understand global properties of digital spaces and manifolds we need a solid understanding of local pr...
Christer O. Kiselman
AGENTS
1998
Springer
15 years 8 months ago
Liability for Autonomous Agent Design
Though exciting scientifically, autonomous agent design can result in legal liability. This paper surveys those legal concerns, focusing on issues arising from the unique qualitie...
Carey Heckman, Jacob O. Wobbrock
FSTTCS
1997
Springer
15 years 8 months ago
Compositional Design of Multitolerant Repetitive Byzantine Agreement
We illustrate in this paper a compositional and stepwise method for designing programs that o er a potentially unique tolerance to each of their fault-classes. More speci cally, o...
Sandeep S. Kulkarni, Anish Arora
MFCS
1993
Springer
15 years 8 months ago
The Second Calculus of Binary Relations
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
Vaughan R. Pratt