UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.135

Sortiert nach

Representing Integer Sequences Using Piecewise-Affine Loops

Mathematics (Basel), 2021-10, Vol.9 (19), p.2368

2021

Link zum Volltext

Verfügbarkeit prüfen

Static and Dynamic Frequency Scaling on Multicore CPUs

ACM transactions on architecture and code optimization, 2016-12, Vol.13 (4), p.1-26

2016

Link zum Volltext

Verfügbarkeit prüfen

Predictive Modeling in a Polyhedral Optimization Space

International journal of parallel programming, 2013-10, Vol.41 (5), p.704-750

2013

Link zum Volltext

Verfügbarkeit prüfen

Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules

IEEE transactions on software engineering, 2023-07, Vol.49 (7), p.3771-3792

2023

Link zum Volltext
Volltext

Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Nonaffine Programs Scalable

ACM transactions on architecture and code optimization, 2019-12, Vol.16 (4), p.1-26

2019

Link zum Volltext

Verfügbarkeit prüfen

The Polyhedral Model Is More Widely Applicable Than You Think

Compiler Construction, p.283-303

Link zum Volltext

Verfügbarkeit prüfen

SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

IEEE transactions on software engineering, 2021-09, Vol.47 (9), p.1943-1959

2021

Link zum Volltext
Volltext

Using machine learning to improve automatic vectorization

ACM transactions on architecture and code optimization, 2012-01, Vol.8 (4), p.1-23

2012

Link zum Volltext

Verfügbarkeit prüfen

Effect of Distributed Directories in Mesh Interconnects

2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6

2019

Link zum Volltext

Verfügbarkeit prüfen

Calcineurin activity assay measurement by liquid chromatography-tandem mass spectrometry in the multiple reaction monitoring mode

Clinical chemistry (Baltimore, Md.), 2014-02, Vol.60 (2), p.353-360

2014

Link zum Volltext

Verfügbarkeit prüfen

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

ACM transactions on architecture and code optimization, 2015-01, Vol.11 (4), p.1-30

2015

Link zum Volltext

Verfügbarkeit prüfen

High-performance code generation for stencil computations on GPU architectures

Proceedings of the 26th ACM international conference on supercomputing, 2012, p.311-320

2012

Link zum Volltext

Verfügbarkeit prüfen

Domain-Specific Optimization and Generation of High-Performance GPU Code for Stencil Computations

Proceedings of the IEEE, 2018-11, Vol.106 (11), p.1902-1920

2018

Link zum Volltext
Volltext

Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures

Compiler Construction, p.225-245

Link zum Volltext

Verfügbarkeit prüfen

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.493-508

Link zum Volltext

Verfügbarkeit prüfen

Untargeted screening of urinary peptides with liquid chromatography coupled to hybrid linear-ion trap tandem mass spectrometry

Journal of Chromatography A, 2012-10, Vol.1259, p.138-147

2012

Link zum Volltext

Verfügbarkeit prüfen

On Using the Roofline Model with Lower Bounds on Data Movement

ACM transactions on architecture and code optimization, 2015-01, Vol.11 (4), p.1-23

2015

Link zum Volltext

Verfügbarkeit prüfen

Automatic parallelization of a class of irregular loops for distributed memory systems

ACM transactions on parallel computing, 2014-10, Vol.1 (1), p.1-37, Article 7:1

2014

Link zum Volltext

Verfügbarkeit prüfen

Polyhedral Optimizations for a Data-Flow Graph Language

Languages and Compilers for Parallel Computing, p.57-72

Link zum Volltext

Verfügbarkeit prüfen

Analytical Bounds for Optimal Tile Size Selection

Compiler Construction, p.101-121

Link zum Volltext

Verfügbarkeit prüfen

PALMED: Throughput Characterization for Superscalar Architectures

2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2022, p.106-117

2022

Link zum Volltext

Verfügbarkeit prüfen

Beyond reuse distance analysis: Dynamic analysis for characterization of data locality potential

ACM transactions on architecture and code optimization, 2013-12, Vol.10 (4), p.1-29

2013

Link zum Volltext

Verfügbarkeit prüfen

Polyhedral-based data reuse optimization for configurable computing

Proceedings of the ACM/SIGDA international symposium on field programmable gate arrays, 2013, p.29-38

2013

Link zum Volltext

Verfügbarkeit prüfen

Crystal structures of the bovine β4galactosyltransferase catalytic domain and its complex with uridine diphosphogalactose

The EMBO journal, 1999-07, Vol.18 (13), p.3546-3557

1999

Link zum Volltext

Verfügbarkeit prüfen

A stencil compiler for short-vector SIMD architectures

Proceedings of the 27th international ACM conference on international conference on supercomputing, 2013, p.13-24

2013

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 1.135

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(717)
Mit Volltextzugriff
(1.052)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

3 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Representing Integer Sequences Using Piecewise-Affine Loops

Static and Dynamic Frequency Scaling on Multicore CPUs

Predictive Modeling in a Polyhedral Optimization Space

Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules

Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Nonaffine Programs Scalable

The Polyhedral Model Is More Widely Applicable Than You Think

SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

Using machine learning to improve automatic vectorization

Effect of Distributed Directories in Mesh Interconnects

Calcineurin activity assay measurement by liquid chromatography-tandem mass spectrometry in the multiple reaction monitoring mode

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

High-performance code generation for stencil computations on GPU architectures

Domain-Specific Optimization and Generation of High-Performance GPU Code for Stencil Computations

Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations

Untargeted screening of urinary peptides with liquid chromatography coupled to hybrid linear-ion trap tandem mass spectrometry

On Using the Roofline Model with Lower Bounds on Data Movement

Automatic parallelization of a class of irregular loops for distributed memory systems

Polyhedral Optimizations for a Data-Flow Graph Language

Analytical Bounds for Optimal Tile Size Selection

PALMED: Throughput Characterization for Superscalar Architectures

Beyond reuse distance analysis: Dynamic analysis for characterization of data locality potential

Polyhedral-based data reuse optimization for configurable computing

Crystal structures of the bovine β4galactosyltransferase catalytic domain and its complex with uridine diphosphogalactose

A stencil compiler for short-vector SIMD architectures

Suchergebnisse filtern