Sciweavers

7971 search results - page 81 / 1595
» On unbounded operators and applications
Sort
View
ICCS
2009
Springer
15 years 5 months ago
Evaluating Algorithms for Shared File Pointer Operations in MPI I/O
MPI-I/O is a part of the MPI-2 specification defining file I/O operations for parallel MPI applications. Compared to regular POSIX style I/O functions, MPI I/O offers features ...
Ketan Kulkarni, Edgar Gabriel
IPPS
1999
IEEE
15 years 5 months ago
Flexible Collective Operations for Distributed Object Groups
Collective operations on multiple distributed objects are a powerful means to coordinate parallel computations. In this paper we present an inheritance based approach to implement ...
Jörg Nolte
FOIKS
2008
Springer
15 years 2 months ago
Merging First-Order Knowledge Using Dilation Operators
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
Nikos Gorogiannis, Anthony Hunter
87
Voted
IFM
2009
Springer
15 years 7 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
CCECE
2006
IEEE
15 years 7 months ago
Adaptive Bilateral Control using Operator Elbow Impedance
— Human arm dynamics can be used for control of human-machine interfaces in haptic applications. In this paper, a novel method for online estimation of human operator elbow imped...
Farid Mobasser, Keyvan Hashtrudi-Zaad