Parallelising sequential applications is usually a very hard job, due to many different ways in
which an application can be parallelised and a large number of programming models (each …

Since the 'free lunch'of processor performance is over, parallelism has become the new
trend in hardware and architecture design. However, parallel resources deployed in data …

Constraint Programming (CP) is a powerful technique for solving large-scale combinatorial
(optimisation) problems. Constraint solving a given problem proceeds in two phases …

Modern multicore systems offer huge computing potential. Exploiting large parallel systems
is still a very challenging task, however, especially as many software developers still use …

Traditional refactoring is about modifying the structure of existing code without changing its
behaviour, but with the aim of making code easier to understand, modify, or reuse. In this …

Dataflow languages are widely used for programming real-time embedded systems. They
offer high level abstraction above hardware, and are amenable to program analysis and …

Refactoring has become an effective approach to convert sequential programs into
concurrent programs. Many refactoring algorithms and tools are proposed to assist …

Since free performance lunch of processors is over, parallelism has become the new trend
in hardware and architecture design. However, parallel resources deployed in data centers …

The instanceof pattern matching can improve the code quality and readability by removing
the redundant typecasting and simplifying the design in different scenarios. However …

针对粗粒度锁会严重影响并发程序的可伸缩性问题, 提出一种面向细粒度锁的自动重构方法.
该方法借助访问者模式分析, 别名分析, 负面效应分析等多种程序分析技术获取临界区代码的读 …