Learn More
This paper presents the most exhaustive study of synchronization to date. We span multiple layers, from hardware cache-coherence protocols up to high-level concurrent software. We do so on different types of architectures, from single-socket -- uniform and non-uniform -- to multi-socket -- directory and broadcast-based -- many-cores. We draw a set of(More)
We introduce "asynchronized concurrency (ASCY)," a paradigm consisting of four complementary programming patterns. ASCY calls for the design of concurrent search data structures (CSDSs) to resemble that of their sequential counterparts. We argue that ASCY leads to implementations which are portably scalable: they scale across different types of hardware(More)
—This paper presents a new technique for semantic Web service composition inspired by the behavior of ants. The proposed technique combines a service composition graph model with the ant colony optimization metaheuristic to identify the optimal composition solution. The following criteria are considered to select the optimal composition solution: the QoS(More)
This paper presents a framework for automatic service composition which combines a composition graph model with an Ant Colony Optimization metaheuristic to find the optimal composition solution. The composition graph model encodes all the possible composition solutions that satisfy a user request. The graph will be further used as the search space for the(More)
We argue that there is virtually no practical situation in which one should seek a "theoretically wait-free" algorithm at the expense of a state-of-the-art blocking algorithm in the case of search data structures: blocking algorithms are simple, fast, and can be made "practically wait-free". We draw this conclusion based on the most exhaustive study of(More)
In this report, we consider the problem of scheduling streaming applications described by complex task graphs on a heterogeneous multi-core platform, the IBM QS 22 platform, embedding two STI Cell BE processor. We first derive a complete computation and communication model of the platform, based on comprehensive benchmarks. Then, we use this model to(More)
  • 1