Search Results for "control flow graph"
Sort By:
Showing 33 open source projects for "control flow graph"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
OpenQASM
Quantum assembly language for extended quantum circuits
OpenQASM is an imperative programming language designed for near-term quantum computing algorithms and applications. Quantum programs are described using the measurement-based quantum circuit model with support for classical feed-forward flow control based on measurement outcomes. OpenQASM presents a parameterized set of physical logic gates and concurrent real-time classical computations. Its main goal is to serve as an intermediate representation for higher-level compilers to communicate with quantum hardware. Allowances have been made for human usability. In particular, the language admits different representations of the same program as it is transformed from a high-level description to a pulse representation. -
2
ransfoil
console to calculate airflow around an airfoil based on RANS approach
...As postprocess results, the aerodynamic parameters of the airfoil, e.g., lift coefficient and drag coefficient, can be integrated from the airflow distribution near wall boundary. In addition, the coupling between airflow and heat transfer and the effect of surface roughness on near wall flow are considered by this program, it can be used for engineering calculation of the friction drag and heat transfer coefficients on airfoil surface. RANSFOIL reads coordinates data from a 1D XYZ file which describes the grid points or control points on airfoil as only input, then outputs grid and solution files in 2D PLOT3D format to record grid coordinates and airflow data and a report file to show aerodynamic parameters. -
3
Social Network Visualizer
Social Network Analysis and Visualization software
Visit our new site: http://socnetv.org Social Network Visualizer (SocNetV) is a social network analysis and visualization application. You can draw a social network (graph/digraph) or load an existing one (GraphML, UCINET, Pajek, etc), compute cohesion, centrality, community and structural equivalence metrics and apply various layout algorithms based on actor centrality or prestige scores (i.e. Eigenvector, Betweenness) or on dynamic models (i.e. Kamada-Kawai spring-embedder) -
4
TorchQuantum
A PyTorch-based framework for Quantum Classical Simulation
A PyTorch-based framework for Quantum Classical Simulation, Quantum Machine Learning, Quantum Neural Networks, Parameterized Quantum Circuits with support for easy deployments on real quantum computers. Researchers on quantum algorithm design, parameterized quantum circuit training, quantum optimal control, quantum machine learning, and quantum neural networks. Dynamic computation graph, automatic gradient computation, fast GPU support, batch model terrorized processing. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
Arduino Launch Control System (LCS)
A single rod model rocket launch control system using the Arduino Nano
This is a single rod model rocket launch control system. The system utilizes the Arduino Uno/Nano to report on local weather conditions (temperature, humidity, barometric pressure). The system also provides a 10-second countdown when the fire button is pressed. The system meets and exceeds the NAR Safety Code standard for model rocket launch systems as it incorporates a removable key to block the flow of power to the launch pad. -
6
GridLAB-D is a new power system simulation tool that provides valuable information to users who design and operate electric power transmission and distribution systems, and to utilities that wish to take advantage of the latest smart grid technology. It incorporates advanced modeling techniques with high-performance algorithms to deliver the latest in end-use load modeling technology integrated with three-phase unbalanced power flow, and retail market systems. Historically, the inability...
-
7
popt4jlib
Parallel Optimization Library for Java
...Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known network flow and other graph algorithms. A fast parallel implementation of the network simplex method, and some full-fledged parallel/distributed MIP solvers will be added in the next version. In general, emphasis is given in improving the efficiency of the algorithms in shared-memory models via java threads, since multi-core machines are so wide-spread today. -
8
JPIV
Particle Image Velocimetry
JPIV is a platform independent, graphical stand-alone application for Particle Image Velocimetry (PIV) written in Java. PIV is an optical technique for measuring fluid flow velocities. JPIV moved to GitHub. Please visit us at: https://eguvep.github.io/jpiv/ -
9
SoftIB Serial Communicator
UART communications with data flow monitoring
A simple to use serial communication software for communicating with other serial, MCU and Arduino. The SoftIB Serial Communicator communicates with other Serial devices that use a simple asynchronous communication using only the RX and TX signals without any control signals. The application was developed based on the communication with microcontrollers, but it can be used in all other cases. -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
10
Satsuma .NET Graph Library
a delicious .NET graph library
Satsuma is a graph library for .NET, written in C#. Satsuma is an easy-to-use and flexible library, which implements all the necessary graph structures, and the fastest possible graph algorithms. DOCUMENTATION: http://satsumagraph.sourceforge.net/ Satsuma is not a charting library. 'Graph' is used in the mathematical sense here (e.g. nodes connected with arcs). Satsuma is released under the zlib license. This license is very permissive and allows you to use Satsuma for both personal... -
11
experix laboratory control system
instrument control, data acquisition display and analysis
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... -
12
RAPSim - Microgrid Simulator
An easy to use GUI enables electric source and grid simulation.
...It is able to simulate grid-connected or standalone microgrids with solar, wind or other renewable energy sources. The proposed software calculates the power generated by each source in the microgrid and then it conducts a power flow analysis. This software is helpful for optimal placement of distributed generation units in a micro grid. RAPSim is designed for use in science and classroom with a simple to use graphical interface. It is an easily extendable framework that supports users in implementation of their own models, for grid objects, and algorithms for grid control. -
13
Hydraulic(fluid power) programs
Python programs for various hydraulic(fluid power) calculations
General hydraulic calculations. Cylinder selection and calculations. Multiple cylinder sequencing with graph output. Tubing selection and calculations. Viscosity graphing for various oils. DC Valve flow vs. pressure drop calculations. -
14
GADfit
Global nonlinear optimization with automatic differentiation
...The model curves (fitting functions) can be of essentially arbitrary complexity. This includes any nonlinear combination of elementary and special functions, single and/or double integrals, and any control flow statement allowed by the programming language. See the latest user guide under Files. -
15
SEWOL: Security-oriented Workflow Lib
Java Library for workflow handling
...It allows to specify the shape and content of process traces in terms of entries representing the execution of a specific workflow activity. Currently it supports plain text, Petrify, MXML and XES log file types. In order to specify security-related context information, SEWOL provides access control models such as access control lists (ACL) and role-based access control models (RBAC). SEWOL uses and encloses the following libraries: - TOVAL (http://sourceforge.net/p/toval), - JAGAL (http://sourceforge.net/p/jagal), - OpenXES (http://www.xes-standard.org/openxes/), - Spex (http://code.deckfour.org/Spex/) - Google Guava (https://github.com/google/guava), - xstream (http://xstream.codehaus.org/) and - graph-impl and visualization components of Jung 2 (http://jung.sourceforge.net/). ... -
16
The FxEngine is an Open C++ Framework under LGPL license. The FxEngine Framework simplifies the plugin architecture for the data flow processing. It provides a full control to the plugin architecture for applications that require custom solutions.
-
17
Model Transformation Tools
Bond-graph based modelling tools
A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave. -
18
fesslix
Stochastic Analysis
A brief summary of the main features of Fesslix: - Perform non-intrusive reliability analysis or Bayesian updating either --- by running commands on the command line or --- by means of an Octave interface or --- by means of a Python interface - Flexible input language for writing Fesslix parameter files --- Control flow statements (e.g. if, for, while) --- Most parameters can be defined as functions - Working with response surfaces - Linear finite element analysis using truss, beam and plane stress/strain elements - Spectral Stochastic Finite Elements - Bayesian networks This is the download page for Windows executables of Fesslix. -
19
Molcrunch
An atomic or molecular electronic properties computational package
...The symmetry filtering includes the ability to deal directly with certain non-Abelian groups as well as all Abelian groups. Linear systems can be treated exactly within the full continuous D-infinity-h or C-infinity-v groups. The package is completely modular, allowing control over ordering of most steps within the limitations imposed by the theory. Flow is controled completely by tcsh shell scripts, many of which are provided in the package. Users may devise their own scripts, of course. -
20
* 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
-
21
JActor
High Performance, Lock Free Java Actors
JActor is a high-performance actor framework designed to make vertical scalability easy. JActor achieves its speed, in part, by almost always executing synchronously--though it is easy enough to force asynchronous processing when needed. JActor is divided into several GitHub projects: JActor - https://github.com/laforge49/JActor JID - https://github.com/laforge49/JID JFile - https://github.com/laforge49/JFile JANetty - https://github.com/kumarshantanu/JANetty -
22
Python software to control Bronkhorst flow controllers via RS232. Works via USB serial converter too.
-
23
SILENT
a Scratch Interface for Lego NXT
SILENT is a Scratch modification that interfaces with LEGO MINDSTORM NXT 2.0 robot. It's based on Scratch 1.4.2, developed in JAVA, Squeak and Bash scripting. It's supported by Linux and Windows XP/7, in which it was tested. It required JAVA>=6. Easy to setup and easy to learn! Please leave your review to help me to improve it! -
24
Software, components, utilities and XML schema model for automating the exchange of engineering data for the capital facility industry over the total facility life cycle, including design, procurement, construction, operations and maintenance. Detailed cfiXML guidelines and example data dictionaries for control valves, electric motors and pumps, including information on the HI 50.7-2010 Electronic Data Exchange for Pumping Equipment Standard, are available from the website.
-
25
RHOcker is a GTK graphic software tool for control and monitoring of electrical resistometry tests in GPIB devices. Allow to configure and manage resistometry test types and captures, stores and graph all data in tests execution.
