Archive for October, 2011

• Verification of the P2012 Manycore Architecture: Underlying Issues - October 1st, 2011
• Component Assemblies in the context of Manycore - October 1st, 2011
• Algorithms for Synthesizing Priorities in Component-Based Systems - October 1st, 2011
• Automated Distributed Implementation of Component-based Models with Priorities - October 1st, 2011
• Rigorous System Design: the BIP Approach - October 1st, 2011
• Exploring Instruction Caching Strategies for Tightly-Coupled Shared-Memory Clusters - October 1st, 2011
• Supporting OpenMP on a Multi-Cluster Embedded MPSoC - October 1st, 2011
• Mapping of Applications to MPSoCs - October 1st, 2011
• Low Cost Dynamic Voltage and Frequency Policy based upon Robust Control Techniques - October 1st, 2011
• PRO3D, an Introduction - October 1st, 2011