We present a new mechanized prover for showing correspondence assertions for
cryptographic protocols in the computational model. Correspondence assertions are useful …

The time spent processing the test set is a crucial factor in research projects involving audio
signal transforms. The present work analyzes the performance of a set of programming …

The development of efficient methods for map** applications on heterogeneous multicore
platforms is a key issue in the field of embedded systems. In this article, a novel approach …

Multicore processing systems are the solution of choice to provide high embedded
computing performance, but drawbacks in timing predictability and programmability limit …

Directed Acyclic Task Graphs serve as typical kernel representation for embedded
applications. Modern embedded multicore architectures raise new challenges for efficient …

The aerospace domain, very much similar to other cyber-physical systems domains such as
automotive or automation, is demanding new methodologies and approaches for increasing …

Efficient map** of DAGs on heterogeneous multicore platforms is a key component for
modern embedded applications. An approach based on the Benders decomposition …

In this article, we present the work-in-progress of the EU FP7 PHARAON project, started in
September 2011. The first objective of the project is the development of new techniques and …

New multimedia portable devices support increasing spatial and temporal video resolutions
as well as new and more efficient video codecs. This scenario leads to the use of multicore …

Using multi-core architectures for embedded time-critical systems creates a big challenge for
developers due to the complexity of the underline map** and scheduling problem. H2020 …