CUBE is a generic presentation component suitable for displaying a wide variety of performance metrics for parallel programs including MPI and OpenMP applications. Program performance space is represented in a multi-dimensional space and displayed in a single integrated view. The tool allows for exploring the performance space in a scalable fashion and browsing the different kinds of performanc...

The Sentential Decision Diagram (SDD) is a canonical representation of Boolean functions. The SDD package, which is distributed as a C library called libsdd, allows users to construct, manipulate and optimize SDDs. This manual describes the basics of the SDD package, meant for users who are interested in immediately constructing SDDs and performing queries on them. An advanced user’s manual is ...

FastJet provides fast (N lnN,N2) implementations of the longitudinally invariant kt, antikt and Cambridge/Aachen jet algorithms for pp collisions, based in part on tools and methods from the Computational Geometry community, as well as a native implementation of the e+e− kt algorithm. Further jet algorithms, including most of the other commonly used pp and e +e− algorithms, can be accessed from...

This is the manual and user guide for the Rivet system for the validation and tuning of Monte Carlo event generators. As well as the core Rivet library, this manual describes the usage of the rivet program and the AGILe generator interface library. The depth and level of description is chosen for users of the system, starting with the basics of using validation code written by others, and then ...

/bstest-s3esk Top-level directory AUTHORS List of authors. COPYING 3-clause modified BSD license. README This file. README.html HTML version of README. README.pdf PDF version of README. bstest.ucf User Constraints File for the XC3S500E-FG320-5 device. bstest.vhd The top-level RTL VHDL design file. bstest-syn.sh Bash shell script for synthesizing the bstest design with Xilinx ISE. impact_s3esk.b...

DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma. It provides also a named syntax and a translation function to the De Bruijn syntax.

This manual is addressed to users of the RODI benchmark suite [1], who intend to run the benchmark for evaluating some mapping generation system. RODI is designed to test the quality of (semi-) automatically generated mappings between relational schemata and ontologies. It includes a benchmark framework, test scenarios, a scoring function and reporting, as well as an extension mechanism to add ...