Data races are a particularly unpleasant kind of threading bugs. They are hard to find and
reproduce--you may not observe a bug during the entire testing cycle and will only see it in …

Background The multiple sequence alignment (MSA) is a classic and powerful technique for
sequence analysis in bioinformatics. With the rapid growth of biological datasets, MSA …

We address the problem of custom Dynamic Memory Management (DMM) in Multi-
Processor System-on-Chip (MPSoC) architectures. Customization is enabled through the …

The end of Moore's Law, which experts predict to occur in as few as 5 years, means that
even average programmers will need to be able to write fast code. Software performance …

The CSI framework provides comprehensive static instrumentation that a compiler can insert
into a program-under-test so that dynamic-analysis tools-memory checkers, race detectors …

We propose a new language-neutral primitive for the LLVM compiler, which provides
efficient context switching and message passing between lightweight threads of control. The …

Multicore embedded systems are being widely used in telecommunication systems, robotics,
medical applications and more. While they offer a high-performance with low-power …

Commodity parallel computers are no longer a technology predicted for some indistinct
future: they are becoming ubiquitous. In the absence of significant advances in clock speed …

In recent years, with the development of embedded software, the demand for context-aware
software and the need for Context-Oriented Programming (COP) frameworks is increasing …

In the framework of the grand-canonical ensemble of statistical mechanics, we give an exact
diagrammatic representation of the density profiles in a classical multicomponent plasma …