Sciweavers

24554 search results - page 4546 / 4911
» Dependable distributed systems
Sort
View
PPAM
2005
Springer
16 years 9 days ago
A New Diagonal Blocking Format and Model of Cache Behavior for Sparse Matrices
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
Pavel Tvrdík, Ivan Simecek
PVM
2005
Springer
16 years 9 days ago
New User-Guided and ckpt-Based Checkpointing Libraries for Parallel MPI Applications
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
Pawel Czarnul, Marcin Fraczak
157
Voted
RELMICS
2005
Springer
16 years 9 days ago
Relational Correspondences for Lattices with Operators
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
Jouni Järvinen, Ewa Orlowska
SOFSEM
2005
Springer
16 years 8 days ago
Modeling Data Integration with Updateable Object Views
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankie...
SSD
2005
Springer
150views Database» more  SSD 2005»
16 years 8 days ago
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks
In this paper we examine the dissemination of availability reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range...
A. Prasad Sistla, Ouri Wolfson, Bo Xu
« Prev « First page 4546 / 4911 Last » Next »