Runtime Verification (RV) [11] is a lightweight verification technique mitigating the scalability issues associated with exhaustive verification techniques such as model checking. Low overheads are an important requirement for the viability of any RV framework, where the additional computation introduced by the monitors should ideally be kept to a minimum. detectEr[3, 7] is an RV tool for analy...

Asynchronous Many-Task (AMT) runtime systems take advantage of multi-core architectures with light-weight threads, asynchronous executions, and smart scheduling. In this paper, we present the comparison AMT Charm++ HPX main stream MPI, OpenMP, MPI+OpenMP libraries using Task Bench benchmarks. is a parallel programming language based on C++, supporting stackless tasks as well threads asynchronou...

In this paper, we propose to reduce the MAC overheads in random access protocols by partitioning the channel spectrum used into a narrow channel and a wide channel. The narrow channel is used for transmitting the short packets (approximately 100 bytes long) and the wide channel is used for transmitting the longer packets. We intend to use multiple radios, one each for the different channel part...

Current partitioning codesign tools often simplify the communication channel features by working with generic abstract channels, which in a following step, are mapped into the actual ones. However, this mapping process can critically affect the performance of a solution. Hence, we have developed a novel methodology that studies the communications in depth, taking into account the actual channel...