Výsledky vyhledávání - "Deterministic parallel programming"

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

“…Haskell is a modern, functional programming language with an interesting story to tell about parallelism: rather than using concurrent threads and locks,…”
Získat plný text

Architectural support for synchronization-free deterministic parallel programming Autor 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…”
Získat plný text

Correct program parallelisations Autor 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…”
Získat plný text

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores Autor 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…”
Získat plný text

Deterministic parallel programming in Phred Autor Beguelin, Adam Louis

“…Programming parallel computers can be a daunting task. Most parallel languages allow the specification of nondeterministic computations. In contrast,…”
Získat plný text

Concrete data structures and functional parallel programming Autor 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. To this end, Brookes…”
Získat plný text

Programming and Timing Analysis of Parallel Programs on Multicores Autor 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…”
Získat plný text

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

“…Object-oriented Programming has been effective in reducing code complexity in sequential programs, but in current practice, concurrent programs still present a…”
Získat plný text

Yada: Straightforward parallel programming Autor Gay, David, Galenson, Joel, Naik, Mayur, Yelick, Kathy

“…► Yada is a new, programmer-friendly deterministic parallel programming language…”
Získat plný text

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

“…, such as single-assignment locations. I show that lattice-based data structures, or LVars, are the foundation for a guaranteed-deterministic parallel programming model that allows a more general form of sharing…”
Získat plný text

Designing for the Simple Case in a Parallel Scripting Language Autor Lu, Li

“…The fast development of parallel computer systems poses a challenge to programming language design and implementation. On the one hand, simple semantics are…”
Získat plný text

EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution Autor Dayan, David, Goldstein, Moshe, Mizrahi, Shimon, Rabin, Max, Berlovitz, Devora, Berlovitz, Or, Levy, Elad Bussani, Naaman, Moshe, Nagar, Mor, Soudry, Ditsa, Yehezkael, Raphael B., Popovic, Miroslav

“…As a deterministic parallel programming language that guarantees safety of parallel executions, EFL was designed to allow the embedding of parallel code blocks into a sequential host language program…”
Získat plný text

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

“…This thesis presents a new, Java-based object-oriented parallel language called Deterministic Parallel Java (DPJ). DPJ uses a novel effect system to guarantee…”
Získat plný text

Strategies with Parallel Causes Autor de Visme, Marc, Winskel, Glynn

“…In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in…”
Získat plný text