Sciweavers

2043 search results - page 190 / 409
» Some Basics on Tolerances
Sort
View
EUROPAR
2005
Springer
16 years 3 days ago
INSEE: An Interconnection Network Simulation and Evaluation Environment
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...
Francisco Javier Ridruejo Perez, José Migue...
ICALP
2005
Springer
16 years 3 days ago
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
Anupam Datta, Ante Derek, John C. Mitchell, Vitaly...
ICCS
2005
Springer
16 years 2 days ago
Dynamic Memory Management in the Loci Framework
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
Yang Zhang, Edward A. Luke
OTM
2005
Springer
16 years 2 days ago
Mapping Discovery for XML Data Integration
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
Zoubida Kedad, Xiaohui Xue
GCC
2005
Springer
16 years 22 hour ago
Performance Analysis of Domain Decomposition Applications Using Unbalanced Strategies in Grid Environments
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
Beatriz Otero, José M. Cela, Rosa M. Badia,...