Treffer 1 - 20 von 1.609

1

A theory of (linear-time) timed monitors
Amara, Mouloud ; Bernardi, Giovanni ; Aristide Foughali, Mohammed ; et al.

Computer programs -- Ver... Logic Symbolic and mathematica... Parallel programming (Co... Computer software -- Ver... Real-time data processin...
Konferenz
Merkliste
2

Time-parallelisation techniques with applications to plasma simulation
Danieli, Federico ; Debasmita, Samaddar ; Wathen, Andrew

Magnetohydrodynamics Numerical analysis Parallel programming (Co...
Dissertation
Merkliste
4

sKokkos: enabling Kokkos with transparent device selection on heterogeneous systems using OpenACC
Valero Lara, Pedro ; Lee, Seyong ; Denny, Joel ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Kokkos OpenACC C++ metaprogramming Heterogeneous systems
Konferenz
Merkliste
5

ALPI: Enhancing portability and interoperability of task-aware libraries
Sala Penadés, Kevin ; Álvarez Robert, David ; Peñacoba Veigas, Raúl ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Computer software -- Dev... Task-based programming m... Runtime systems OpenMP
Konferenz
Merkliste
6

Enabling high-level parallel programming on multi-FPGA clusters
De Haro Ruiz, Juan Miguel ; Álvarez Martínez, Carlos ; Jiménez González, Daniel ; et al.

Àrees temàtiques de la U... Field programmable gate... High performance computi... Parallel programming (Co... Task-based programming MPI
Konferenz
Merkliste
7

Runtime instrumentation for reactive components (artifact)
Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian ; et al.

Software engineering --... Computer programs -- Ver... ERLANG (Computer program... Programming languages (E... Parallel programming (Co...
Fachzeitschrift
Merkliste
8

Enabling HW-based task scheduling in large multicore architectures
Morais, Lucas Henrique ; Álvarez Martínez, Carlos ; Jiménez González, Daniel ; et al.

Àrees temàtiques de la U... Parallel processing (Ele... Parallel programming (Co... Hardware acceleration Task scheduling RISC-V
Fachzeitschrift
Merkliste
9

Compute units in OpenMP: extensions for heterogeneous parallel programming
González Tallada, Marc ; Morancho Llena, Enrique ; Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Application program inte... Graphics processing unit... GPUs Heterogeneous computing
Fachzeitschrift
Merkliste
10

Improving performance of HPC kernels on FPGAs using high-level resource management
Filgueras Izquierdo, Antonio ; Vidal, Miquel ; Jiménez González, Daniel ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Field programmable gate... High performance computi... FPGA Resource management
Konferenz
Merkliste
11

Mitigating the NUMA effect on task-based runtime systems
Maroñas Bravo, Marcos ; Navarro Muñoz, Antoni ; Ayguadé Parra, Eduard ; et al.

Àrees temàtiques de la U... Application program inte... Parallel programming (Co... Parallel processing (Ele... NUMA-awareness OmpSs-2
Fachzeitschrift
Merkliste
12

Programming parallel dense matrix factorizations and inversion for new-generation NUMA architectures
Catalán Pallarés, Sandra ; Igual Peña, Francisco D. ; Herrero Zaragoza, José Ramón ; et al.

Àrees temàtiques de la U... Memory management (Compu... Parallel programming (Co... NUMA architectures Chiplets Dense linear algebra
Fachzeitschrift
Merkliste
13

Vector extensions in COTS processors to increase guaranteed performance in real-time systems
Pujol Torramorell, Roger ; Jorba Jorba, Josep ; Tabani, Hamid ; et al.

Àrees temàtiques de la U... Embedded computer system... Real-time data processin... Parallel programming (Co... Vector extensions Real-time
Fachzeitschrift
Merkliste
14

Optimizing iterative data-flow scientific applications using directed cyclic graphs
Álvarez Robert, David ; Beltran Querol, Vicenç ; Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Taskiter Data-flow programming OmpSs-2 OpenMP
Fachzeitschrift
Merkliste
15

Towards OmpSs-2 and OpenACC interoperation
Korakitis, Orestis ; García De Gonzalo, Simón ; Guidotti, Nicolas ; et al.

Àrees temàtiques de la U... Data flow computing Parallel programming (Co... Data-flow paradigm Parallelism Runtime scheduling
Konferenz
Merkliste
16

Program Verification with Separation Logic and Rely Guarantee : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Computer Science
Tabilog, Allan Martinez ; Tabilog, Allan Martinez

Logic programming. Logic design. Computer programs Verifi... Parallel programming (Co... Programmation logique. Structure logique.
Merkliste
17

Load balancing of irregular parallel applications on heterogeneous computing environments
Janjic, Vladimir ; Hammond, Kevin

004.01 QA76.88J2 Heterogeneous computing Parallel programming (Co... Electronic data processi... Computer algorithms
Dissertation
Merkliste
18

Facilitating program parallelisation : a profiling-based approach
Mak, Jonathan Chee Heng

004 Parallel programming (Co...
Dissertation
Merkliste
19

Enhancing OpenMP tasking model: performance and portability
Yu, Chenle ; Royuela Alcázar, Sara ; Quiñones Moreno, Eduardo ; et al.

Àrees temàtiques de la U... Supercomputers Parallel programming (Co... Multiprocessors OpenMP specification Tasking model
Konferenz
Merkliste
20

Combining one-sided communications with task-based programming models
Sala Penadés, Kevin ; Macià Sorrosal, Sandra ; Beltran Querol, Vicenç ; et al.

Àrees temàtiques de la U... Parallel programming (Co... One-sided RMA Communication Message passing
Konferenz
Merkliste

Filter