Stem parallelis$ (all stems)

11 papers:

FASE-2015-BlomDH #verification

Verification of Loop Parallelisations (SB, SD, MH), pp. 202–217.

CC-2014-WangPFO #legacy #parallel

Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (ZW, DCP, BF, MFPO), pp. 154–173.

DATE-2012-GerdesKURS #realtime

Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.

HPDC-2009-GoncalvesS #parallel

Pluggable parallelisation (RCG, JLS), pp. 11–20.

ISMM-2009-OanceaMW #algorithm #approach

A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.

CAV-2007-EzekielLC #generative

Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.

TACAS-2002-HeljankoKK #algorithm #parallel #petri net

Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.

IFL-1997-LoidlMTPCJG #functional #scalability

Parallelising a Large Functional Program or: Keeping LOLITA Busy (HWL, RGM, PWT, SP, CC, SLPJ, RG), pp. 198–213.

SAC-1994-KhoshnevisanA #database #parallel

Mechanical parallelisation of database applications (HK, MA), pp. 436–440.

ECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse

Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.

CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial

Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.