why3-doc-html

HTML Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in HTML format.

pcs

Pacemaker Configuration System

pcs is a corosync and pacemaker configuration tool. It permits users to easily view, modify and create pacemaker based clusters.

pcs-snmp

Pacemaker Configuration System SNMP agent

SNMP agent which connects to the master agent (snmpd) via AgentX protocol and provides information about the status of a corosync/pacemaker cluster.

nvidia-opencl-icd

NVIDIA OpenCL installable client driver (ICD)

OpenCL (Open Computing Language) is a multivendor open standard for general-purpose parallel programming of heterogeneous systems that include CPUs, GPUs and other processors.

nvidia-powerd

NVIDIA Dynamic Boost (daemon)

The 'nvidia-powerd' daemon provides support for the NVIDIA Dynamic Boost feature on Linux platforms. Dynamic Boost is a system-wide power controller which manages GPU and CPU power, according to the workload on the system. By shifting power between the GPU and the CPU, Dynamic Boost can deliver more power to the component that would benefit most from it, without impacting the system's total thermal and electrical budgets. This optimizes overall system performance per watt.

nvidia-cuda-mps

NVIDIA CUDA Multi Process Service (MPS)

The Compute Unified Device Architecture (CUDA) enables NVIDIA graphics processing units (GPUs) to be used for massively parallel general purpose computation.