Sciweavers

22 search results - page 2 / 5
» pdp 2009
Sort
View
PDP
2009
IEEE
13 years 11 months ago
Two Formal Semantics of a Subset of the Paderborn University BSPlib
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
Frédéric Gava, Jean Fortin
PDP
2009
IEEE
13 years 11 months ago
Byte-Range Asynchronous Locking in Distributed Settings
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
Martin Quinson, Flavien Vernier
PDP
2009
IEEE
13 years 11 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...
ICST
2009
IEEE
13 years 11 months ago
Transforming and Selecting Functional Test Cases for Security Policy Testing
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry
ATAL
2009
Springer
13 years 11 months ago
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions
This paper analyzes bilateral multi-issue negotiation between selfinterested agents. Specifically, we consider the case where issues are divisible, there are time constraints in ...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....