Search Results for "control flow graph"

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of...

TurboVNC is a high-performance, enterprise-quality version of VNC based on TightVNC, TigerVNC, and X.org. It contains a variant of Tight encoding that is tuned for maximum performance and compression with 3D applications (VirtualGL), video, and other image-intensive workloads. TurboVNC, in combination with VirtualGL, provides a complete solution for remotely displaying 3D applications with interactive performance. TurboVNC's high-speed encoding methods have been adopted by TigerVNC and...

Experix is a command-line driven environment for laboratory data acquisition and device control and graphical presentation and analysis of data. Written in C for GNU-Linux . Tested on PC and Raspberry Pi. The core is written very generally in order to support applications by means of script files. Device interfaces: PCMCIA daq (2 devices tested) via kernel module with interrupt handler and memory-mapped data; USB daq (1 device tested) using libusbx; running an equipment servicing program...

PCD – Process Control Daemon is a light-weight system level process manager, designed for Embedded Linux based products. The PCD is used for starting the system in a synchronized manner, control and monitor processes and recover from crashes.

PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it.

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

This tool designed for fast exporting flow-tools (http://www.splintered.net/sw/flow-tools/) collected data to database. It avoids accidential double import and miss import from files. Extremely fast and reliable. Bit of examples are here - http://www.larionov.pro/2010/07/netflow-3_12.html (Russian).

The objective of this project is to provide an optimized TCP/IP stack by eliminating the data copying at the socket interface and implementing a feedback-based adaptive rate-based flow control algorithm to maximize the network bandwidth utilization.

The project's goal is to implement DCCP in the Linux kernel. DCCP (Datagram Congestion Control Protocol) is an unreliable, congestion-controlled transport protocol providing a flow of datagrams with a feature negotiation mechanism built-in.