Results 51 to 60 of about 75,650 (220)
Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information.
, 2009 The current ubiquity of multi-core processors has brought renewed interest in program parallelization. Logic programs allow studying the parallelization of programs with complex, dynamic data structures with (declarative) pointers in a comparatively ...
Cabeza Gras, Daniel +4 more
core +1 more source
Cahiers d’Études Germaniques, 2015 If a translator pursues the purpose to transfer an original text to the readers from an unfamiliar culture authentically, it is important to identify various intertexts and contexts of phrases, quotes and stories.
Hosung Lee
doaj +1 more source
Parallel assertions for debugging parallel programs [PDF]
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), 2011 A parallel program must execute correctly even in the presence of unpredictable thread interleavings. This interleaving makes it hard to write correct parallel programs, and also makes it hard to find bugs in incorrect parallel programs. A range of tools have been developed to help debug parallel programs, ranging from atomicity-violation and data-race
Daniel Schwartz-Narbonne +4 more
openaire +1 more source
Experimenting with independent and-parallel prolog using standard prolog [PDF]
, 1991 This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
Hermenegildo, Manuel V. +1 more
core
On the Parallelization of Square-Root Vélu’s Formulas
Mathematical and Computational ApplicationsA primary challenge in isogeny-based cryptography lies in the substantial computational cost associated to computing and evaluating prime-degree isogenies.
Jorge Chávez-Saab +2 more
doaj +1 more source
Heartbeat scheduling: provable efficiency for nested parallelism [PDF]
, 2018 International audienceA classic problem in parallel computing is to take a high-level parallel program written, for example, in nested-parallel style with fork-join constructs and run it efficiently on a real machine.
Acar, Umut, +10 more
core +1 more source
Iterative Reconstruction of Micro Computed Tomography Scans Using Multiple Heterogeneous GPUs
SensorsGraphics processing units (GPUs) facilitate massive parallelism and high-capacity storage, and thus are suitable for the iterative reconstruction of ultrahigh-resolution micro computed tomography (CT) scans by on-the-fly system matrix (OTFSM) calculation
Wen-Hsiang Chou +3 more
doaj +1 more source
Speculative Parallelization of Partially Parallel Loops [PDF]
, 2000 Current parallelizing compilers cannot identify a significant fraction of parallelizable loops because they have complex or statically insufficiently defined access patterns. We have previously proposed a framework for their identification. We speculatively executed a loop as a doall, and applied a fully parallel data dependence test to determine if it
Francis H. Dang, Lawrence Rauchwerger
openaire +1 more source
Adding parallelism to sequential programs – a combined method [PDF]
International Journal of Electronics and TelecommunicationsThe article outlines a contemporary method for creating software for multi-processor computers. It describes the identification of parallelizable sequential code structures. Three structures were found and then carefully examined.
Wiktor B. Daszczuk +2 more
doaj +1 more source
, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel ...
Hermenegildo, Manuel V. +2 more
core +1 more source