Software - Practice and Experience（SPE ）的ISSUE 533论文列表

卷期号： Issue 533

发布时间：

卷期年份： 2017

卷期官网：

Improving scientific application execution on android mobile devices via code refactorings.

Optimising unicode regular expression evaluation with previews.

Modeling and verification of Web services composition based on model transformation.

Parallel computation of the reachability graph of petri net models with semantic information.

A novel model-driven approach for seamless integration.

Engineering order-preserving pattern matching with SIMD parallelism.

Frameworks compiled from declarations: a language-independent approach.