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.