Search Results - Deterministic parallel programming

Deterministic Parallel Programming with Haskell by Coutts, Duncan, Löh, Andres

“…: rather than using concurrent threads and locks, Haskell offers a variety of libraries that enable concise, high-level parallel programs with results that are guaranteed to be deterministic…”
Get full text

Use of parallel deterministic dynamic programming and hierarchical adaptive genetic algorithm for reservoir operation optimization by Zhang, Zhongbo, Zhang, Shuanghu, Wang, Yuhui, Jiang, Yunzhong, Wang, Hao

“… In this study, parallel deterministic dynamic programming (PDDP) and a hierarchical adaptive genetic algorithm (HAGA…”
Get full text

Architectural support for synchronization-free deterministic parallel programming by Segulja, C., Abdelrahman, T. S.

“…We propose a novel synchronization mechanism called versioning. It dynamically establishes a deterministic order of memory accesses in parallel programs that have serial semantics, in a way that is transparent to the programmer…”
Get full text

Correct program parallelisations by Blom, S., Darabi, S., Huisman, M., Safari, M.

“…A commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel…”
Get full text

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores by Yip, Eugene, Girault, Alain, Roop, Partha S., Biglari-Abhari, Morteza

“… This paper proposes the ForeC language for the deterministic parallel programming of CPS applications on multi-core execution platforms…”
Get full text

A Deterministic Portable Parallel Pseudo-Random Number Generator for Pattern-Based Programming of Heterogeneous Parallel Systems by Ernstsson, August, Vandenbergen, Nicolas, Keller, Jörg, Kessler, Christoph

“…SkePU is a pattern-based high-level programming model for transparent program execution on heterogeneous parallel computing systems…”
Get full text

Lattice-based data structures for deterministic parallel and distributed programming by Kuper, Lindsey

“…Deterministic-by-construction parallel programming models guarantee that programs have the same observable behavior on every run, promising freedom from bugs caused by schedule nondeterminism…”
Get full text

Swift: A language for distributed parallel scripting by Wilde, Michael, Hategan, Mihael, Wozniak, Justin M., Clifford, Ben, Katz, Daniel S., Foster, Ian

“… Distributed and parallel computing resources can accelerate such processing, but their use further increases programming complexity…”
Get full text

Concrete data structures and functional parallel programming by Hains, Gaétan, Loulergue, Frédéric, Mullins, John

“…A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit…”
Get full text

An effect system and language for deterministic-by-default parallel programming by Bocchino, Robert L

“…This thesis presents a new, Java-based object-oriented parallel language called Deterministic Parallel Java (DPJ…”
Get full text

DMR: A Deterministic MapReduce for Multicore Systems by Zhang, Yu, Cao, Huifang

“… functions are sensitive to the input order. We propose DMR, a deterministic MapReduce library, to ensure deterministic program behaviors no matter whether map/reduce function is sensitive to the input order…”
Get full text

Deterministic parallel fixpoint computation by Kim, Sung Kook, Venet, Arnaud J., Thakur, Aditya V.

“…). This paper presents a deterministic parallel algorithm for fixpoint computation by introducing the notion of weak partial order (WPO…”
Get full text

On the Choice-Based Linear Programming Model for Network Revenue Management by Liu, Qian, van Ryzin, Garrett

“…) that parallels the widely used deterministic linear programming (DLP) model. While they focused on analyzing "flexible products…”
Get full text

Pandora : non-deterministic parallel logic programming by Bahgat, Reem

“…Most of the logic programming languages that have been seriously implemented and used to date fall into one of two categories…”
Get full text

Programming and Timing Analysis of Parallel Programs on Multicores by Yip, Eugene, Roop, Partha S., Biglari-Abhari, Morteza, Girault, Alain

“… This paper proposes the ForeC language for the deterministic parallel programming of embedded applications on multicores…”
Get full text

Deterministic Parallel Processing by Panesar, Gajinder, Towner, Daniel, Duller, Andrew, Gray, Alan, Robbins, Will

“… This architecture does not suffer from many of the problems faced by conventional general purpose parallel processors and provides an alternative to creating an ASIC…”
Get full text

Monadic composition for deterministic, parallel batch processing by Scott, Ryan G., Navarro Leija, Omar S., Devietti, Joseph, Newton, Ryan R.

“… such as date or CPU model. In this work, we present a system for achieving low-overhead deterministic execution of batch-processing programs that read and write the file system…”
Get full text

Concurrency-aware object-oriented programming with roles by Faes, Michael, Gross, Thomas R.

“… . This awareness is formalized in a parallel programming model where every object plays a role in every task (e.g., the readonly role…”
Get full text

A New Nested Benders Decomposition Strategy for Parallel Processing Applied to the Hydrothermal Scheduling Problem by Santos, Tiago Norbiato, Diniz, Andre Luiz, Tancredo Borges, Carmen Lucia

“… In particular, for the deterministic case, parallel programming has been restricted to thread processing in lower-level machine computation and optimization solver codes…”
Get full text

Exploring Deterministic Shared Memory Programming Model by Yu Zhang, Wei Hu

“…Deterministic parallelism promises many benifits for parallel programming. Exist deterministic runtimes, however, either require modifying programs to use…”
Get full text