Sciweavers

8493 search results - page 455 / 1699
» Implementing a distributed firewall
Sort
View
EUROPAR
2004
Springer
15 years 10 months ago
Overhead Compensation in Performance Profiling
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...
Allen D. Malony, Sameer Shende
CONCUR
2008
Springer
15 years 8 months ago
A Model of Dynamic Separation for Transactional Memory
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
Martín Abadi, Tim Harris, Katherine F. Moor...
FMOODS
2003
15 years 7 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
PAMI
1998
103views more  PAMI 1998»
15 years 6 months ago
Synchronous Random Fields and Image Restoration
—We propose a general synchronous model of lattice random fields which could be used similarly to Gibbs distributions in a Bayesian framework for image analysis, leading to algor...
Laurent Younes
IEEEHPCS
2010
15 years 4 months ago
Resilient workflows for high-performance simulation platforms
Workflows systems are considered here to support largescale multiphysics simulations. Because the use of large distributed and parallel multi-core infrastructures is prone to soft...
Toan Nguyen, Laurentiu Trifan, Jean-Antoine Deside...