Today, almost every computer has at least one multicore processor. To remain in stride with
hardware developments, numerous university faculties oriented towards computer science …

Concurrency is challenging to learn and to teach. In prior work, researchers focused on
student solutions to concurrency-related problems. In this work, we focus on student process …

MDAT is a multithreaded testing and debugging tool designed for students learning to
program with multiple threads. MDAT automatically generates random schedules to allow …

Programming with concurrency is challenging both to learn and to teach. A concurrent
program has multiple computations happening “at the same time” either simultaneously or in …

A Formal Methods course was taught using a blended-learning pedagogy at graduate level.
The blended-learning environment was designed with the objective of improving the …

Due to the wide application of a variety of embedded multi-core platforms it is necessary to
train the skills of ongoing engineers considering parallel programming in a comprehensive …

During the last decades processor manufactures mainly increased performance by shrinking
their production size and increasing the processor's clock speed. However, due to physical …