Publications

19 Sep 2016

Report of the 2014 Runtime Systems Summit

Ron Brightwell, Andrew A. Chie | +5 More
Source: U.S. Department of Energy, Office of Science, Office of A...
This report summarized runtime system challenges for exascale computing, that follow from the fundamental challenges for exascale systems. Some of…
High Performance Compilers
View More
19 Sep 2016

Report of the 2014 Programming Models & Environments Summit

Michael Heroux, Richard Lethin | +5 More
Source: U.S. Department of Energy, Office of Science, Office of A...
Programming models and environments play the essential roles in high performance computing of enabling the conception, design, implementation and execution…
High Performance Compilers
View More
1 Sep 2016

Polyhedral Compilation for Energy Efficiency

Benoît Pradelle, Muthu Baskara | +5 More
Source: 2016 IEEE High Performance Extreme Computing Conference (...
In the last decade, the scope of software optimizations expanded to encompass energy consumption on top of the classical runtime…
High Performance Compilers R-Stream®
View More
16 Aug 2016

Scalable Hierarchical Polyhedral Compilation

Benoît Pradelle, Benoıt Meiste | +5 More
Source: 2016 International Conference for Parallel Processing, Ph...
Computers across the board, from embedded to future exascale computers, are consistently designed with deeper memory hierarchies. While this opens…
High Performance Compilers R-Stream®
View More
16 Aug 2016

An Interactive Visual Tool for Code Optimization and Parallelization Based on the Polyhedral Model

Eric Papenhausen, Klaus Muelle | +5 More
Source: Sixth International Workshop on Parallel Software Tools a...
Writing high performance software requires the programmer to take advantage of multi-core processing. This can be done through tools like…
High Performance Compilers Publication R-Stream®
View More
14 Aug 2016

PUMA-V: An Interactive Visual Tool for Code Optimization and Parallelization Based on the Polyhedral Model

Eric Papenhausen, Klaus Muelle | +5 More
Source: Presentation for 2016 New York Scientific Data Summit (NY...
Taking advantage of multi-core processing has become crucial in realizing significant performance gains for most applications. When it comes to…
High Performance Compilers R-Stream®
View More
22 Jan 2016

Efficient Compilation to Event-Driven Task Programs

Benoit Meister, Muthu Baskaran | +5 More
Source: ArXiv e-prints: arXiv:1601.05458v1 [cs.DC]
As illustrated by the emergence of a class of new languages and runtimes, it is expected that a large portion…
High Performance Compilers Publication R-Stream®
View More
18 Jan 2016

A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Tahina Ramananandro, Paul Moun | +5 More
Source: The 5th ACM SIGPLAN Conference on Certified Programs and ...
We provide concrete evidence that floating-point computations in C programs can be verified in a homogeneous verification setting based on…
High Performance Compilers Publication Software Verification
View More
1 Sep 2015

Automatic Cluster Parallelization and Minimizing Communication via Selective Data Replication

Sanket Tavarageri, Benoît Meis | +5 More
Source: IEEE Conference on High Performance Extreme Computing (HP...
The technology scaling has initiated two distinct trends that are likely to continue into future: first, the increased parallelism in…
High Performance Compilers Publication R-Stream®
View More
  • 1
  • 2
  • 3
  • 4
  • 5
  • ...
  • 7

Refine by category

Research

  • Algorithms
  • Cyber Security
  • Data Analytics
  • High Performance Compilers
  • Networking
  • Patents
  • Signal Processing
  • Software Verification

Products

  • ENSIGN®
  • R-Check®
  • R-Scope®
  • R-Solve™
  • R-Stream®

What’s New ?

Presenting at the 11th Inte...
Presenting Network Optimiza...
IEEE SmartGridComm 2020
View More

For more information about Reservoir products or to purchase, please

Contact Us

New York Office

632 Broadway, Suite 803 

New York, New York 10012

  • +1.212.780.0527
  • +1.212.780.0542
  • info@reservoir.com
Twitter
Linkedin-in

Portland Office

4380 SW Macadam Ave

Suite 365 

Portland, Oregon 97239

  • +1.503.225.0583

Technology

  • Compilers
  • Data Analytics
  • Algorithms

Solutions

  • High Performance Computing
  • Cybersecurity
  • Networking
  • Publications
  • Contact Us
  • Support
  • Careers
  • Team
  • About

Technology

  • Compilers
  • Data Analytics
  • Algorithms

Solutions

  • High Performance Computing
  • Cybersecurity
  • Networking

Other Links

  • Contact Us
  • Careers
  • Support
  • About

Offices

New York Office

632 Broadway,

Suite 803 New York,

New York 10012

  • +1.212.780.0527
  • +1.212.780.0542
  • info@reservoir.com

Portland Office

4380 SW Macadam

Ave Suite 365 Portland,

Oregon 97239

  • +1.503.225.0583
Twitter
Linkedin-in

© 2020 Reservoir Labs. All Rights Reserved.

Menu

Menu
  • Solutions
    • High Performance Computing
    • Cybersecurity
    • Networking
  • Technology
    • Compilers
    • Data Analytics
    • Algorithms
  • Publications
  • News
  • Contact us
  • Support
  • Careers
  • Team
  • About
This site uses cookies to collect data. Click here to learn more about our Privacy Policy.