Software & Apps
RESTK is an implementation of the algorithm to upper-bound extremely high quantiles using Markov's inequality to the power-of-k for probabilistic WCET.
Further details can be found in this publication:
RESTK is an implementation of the algorithm to upper-bound extremely high quantiles using Markov's inequality to the power-of-k for probabilistic WCET.
Further details can be found in this publication: https://drops.dagstuhl.de/opus/volltexte/2022/16337/
Saiph is a Domain Specific Language developed at BSC for simulating physical phenomena modeled by Partial Differential Equations systems designed for users that are not experts in numerical methods neither programming for supercomputers
Seismic Shake-e is a user friendly application that contributes to increase the efforts to communicate the valuable existing knowledge about earthquake engineering and seismic resilience.
Seismograms Analyzer-e (SA-e) is a software to process and analyze seismic records. SA-e is a standalone software that works on the operative system Windows 7 or higher.
servIoTicy is a scalable IoT stream processing platform. It provides multi-tenant data stream processing capabilities, a REST API, data analytics, advanced queries and multi-protocol support in a combination of advanced data-centric services.
The Dynamic Management of Resources Application Programming Interface (DMR API) is conceived to facilitate the programmability of malleable applications automating resource reallocation, process handling, and data distribution. Process malleability is the capability of reconfiguring the number of processes of an application on-the-fly, in other words, during its execution.
DMR API assists users to adopt malleability in their applications using OmpSs-like syntax. In this regard, with OmpSs pragmas data dependencies are defined and applications can turn malleable. DMR API is based on the Message Passing Interface (MPI) programming model, the standard de facto for developing HPC distributed applications. DMR adjusts the process number of the jobs depending on the cluster status in terms of resource availability and quantity of pending jobs.
series of predefined communication patterns that greatly ease the development of malleable applications. jThe package also includes a modified SLURM implementation.
ecoHMEM is a software ecosystem implementing novel and proven methodology to address automatic object-level placement for heterogeneous memory systems equipped with DRAM, HBM, Persistent Memory, etc.
Pandora is a framework designed to create, execute and analyse agent-based models in high-performance computing environments. It has been programmed to allow the execution of large-scale agent-based simulations, and it is capable of dealing with thousands of agents developing complex actions. The users can choose to develop their code in Python (for fast prototyping) or C++ (complex models). Interfaces of both versions are identical, and share the same C++ base code (assuring compatibility and efficiency).
s2dverification (seasonal to decadal verification) is an R framework that aids in the analysis of forecasts from the data retrieval stage, through computation of statistics and skill scores against observations, to visualisation of data and results. While some of its components are only targeted to verification of seasonal to decadal climate forecasts, it provides tools that can be useful for verification of forecasts in any field.
Find out more in the overview below, on the wiki page or on the CRAN website.
You can also sign up to the s2dverification mailing list by sending a message with the subject "subscribe" to s2dverification-request@bsc.es if you want to keep abreast of internal discussons or latest development releases.
Having a precise and a fast job scheduler model that resembles the real-machine job scheduling software behavior is extremely important in the field of job scheduling. The idea behind Slurm simulator is preserving the original code of the core SLURM functions while allowing for all the advantages of a simulator. Since 2011, Slurm simulator has passed through several iterations of improvements in different research centers. We took last available version's code and we fixed various issues, we improved the simulator's performance of about 2.6 times, made it deterministic across several same set-up runs, and improved the its accuracy.
Pages
- 1
- 2