Ownerships for reasoning about parallelism : type system and semantics
, 2009 Technical Report to accompany Ownership for Reasoning About Parallelism. Documents type system which captures effects and the operational semantics for the language which is presented as part of the ...
Craik, Andrew J.
core
Parallelism in G. V. Mona’s UVulindlela
Tydskrif vir Letterkunde, 2017 This article examines the use of parallelism in the poetry of G. V. Mona as contained in the anthology UVulindlela (“The Pathfinder”, 1995). The discussion in this article commences by defining the concept of parallelism.
Zilibele Mtumane
doaj
Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems
, 2011 The use of parallelism enhances the performance of a software system. Its excessive use, however, can degrade the performance. In this paper we propose a parallelism viewpoint to optimize the use of parallelism by eliminating unnecessarily used threads ...
Muhammad, Naeem +5 more
core +1 more source
Teaching Concurrency and Parallelism Concepts with CMRE
Journal of Computer Science and Technology, 2016 Possible methodologies for teaching the concepts of processor heterogeneity and its impact on speedup and efficiency in a parallel system are discussed, as well as energy efficiency of parallel algorithms based on processor power.
Laura Cristina De Giusti +3 more
doaj
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
, 1996 CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles.
Cabeza Gras, Daniel +6 more
core
Exploring hierarchical parallelism in directive-based models for efficient GPU execution
Chandrasekaran, SunitaThe advent of general-purpose GPUs in parallel computing brings several new languages, tools and programming models. One popular way to program GPUs is using high-level directives in common languages such as C and Fortran that ...
Wright, Eric
core +1 more source
Some methodological issues in the design of CIAO - A generic, parallel concurrent constraint system
, 1994 We informally discuss several issues related to the parallel execution of logic programming systems and concurrent logic programming systems, and their generalization to constraint programming.
Hermenegildo, Manuel V.
core
A Parallel semantics for normal logic programs plus time
, 2013 It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment ...
Cleary, John G. +2 more
core
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures [PDF]
, 2007 The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency in C++ – used only user-threads, which would have prevented it taking advantage of ...
Brown, Neil
core
Parallelism orchestration using DoPE: the degree of parallelism executive
, 2019 In writing parallel programs, programmers expose parallelism and optimize it to meet a particular performance goal on a single platform under an assumed set of workload characteristics.
Kim, H +4 more
core +1 more source