BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
time (2)
applic (2)
algorithm (2)
approach (2)
space (1)

Stem parallelis$ (all stems)

11 papers:

FASEFASE-2015-BlomDH #verification
Verification of Loop Parallelisations (SB, SD, MH), pp. 202–217.
CCCC-2014-WangPFO #legacy #parallel
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (ZW, DCP, BF, MFPO), pp. 154–173.
DATEDATE-2012-GerdesKURS #realtime
Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.
HPDCHPDC-2009-GoncalvesS #parallel
Pluggable parallelisation (RCG, JLS), pp. 11–20.
ISMMISMM-2009-OanceaMW #algorithm #approach
A new approach to parallelising tracing algorithms (CEO, AM, SMW), pp. 10–19.
CAVCAV-2007-EzekielLC #generative
Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
TACASTACAS-2002-HeljankoKK #algorithm #parallel #petri net
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
IFLIFL-1997-LoidlMTPCJG #functional #scalability
Parallelising a Large Functional Program or: Keeping LOLITA Busy (HWL, RGM, PWT, SP, CC, SLPJ, RG), pp. 198–213.
SACSAC-1994-KhoshnevisanA #database #parallel
Mechanical parallelisation of database applications (HK, MA), pp. 436–440.
ECOOPECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.
CADECADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.