Search Results for "concurrent"
Sort By:
Showing 26 open source projects for "concurrent"
View related business solutions-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
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.
-
1
OpenQASM
Quantum assembly language for extended quantum circuits
...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
VirtualSatellite
Virtual Satellite
...Today, there are already various different versions: - Virtual Satellite 4 - Core is the entry point to start developing and the basis for all other versions - Virtual Satellite 4 - CEF is a specialized version for the use in our Concurrent Engineering Facility - Virtual Satellite 4 - FDIR is a research version for Failure Detection, Isolation and Recovery - Virtual Satellite 4 - DEV IDE is a spezial Eclipse IDE for easy and fast VIrtual Satellite development. This project contains the deployed artefacts from the Virtual Satellite Eco-System. Donwnloads for Virtual Satellite 4 Core are also provided. ... -
3
modbusmplex
modbusmplex - a MODBUS/TCP multiplexer
There are some MODBUS/TCP slave implementations around in this world with a limitation to serve only one concurrent master. Multiple masters accessing such a slave implementation causes all kind of havoc, from aborted TCP connections to packet loss and transmission errors. Modbusmplex is a MODBUS multiplexer that provides a way to work around such a limitation by multiplexing multiple MODBUS/TCP master connections into one MODBUS/TCP connection towards a slave. -
4
pycos
Python framework for concurrent, asynchronous, distributed tasks
Python framework for concurrent, asynchronous, distributed communicating tasks for broad range of use cases, including public / private / hybrid cloud computing, fog / edge computing. -
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.
-
5
eLogSim
Digital circuit simulator
...It uses a test oriented stimulus approach and offers a statistical (or exhaustive if it makes sense) fault simulation option. eLogSim has a simple GUI and is pre-compiled for Ubuntu 20, Mint 20, CentOS 8, openSUSE 15, FreeBSD 12, Solaris 11, Windows 10/11 & Raspbian/Raspberry PiOS Buster (32/64bit) & Ubuntu-MATE 20.04 (64 bit) operating systems. Cross platform & -network, concurrent fault simulation now available. Commented, easy-to-compile source-code included as well. -
6
CASUP
Cellular Automata library for SUPercomputers (CASUP)
...MPI FE library ParaFEM, http://parafem.org.uk) for a multi-scale multi-physics CA-FE framework. CASUP extensively uses Fortran 2008 and 2018 coarrays, as well as MPI, OpenMP and do concurrent. CASUP can be used with Cray, Intel and GCC/OpenCoarrays compilers. Scaling beyond 100,000 cores on Cray XC30 was demonstrated. -
7
popt4jlib
Parallel Optimization Library for Java
popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. 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... -
8
Jafaran
Fast and more random implementations of java.util.Random.
Jafaran (Java Fast Random) provides fast, and for some more random, implementations of java.util.Random, with additional nextXXX() methods, and methods to retrieve and restore state. The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm. -
9
Krowface (Krowdix 3.0) is a simulation and implementation tool of social networks. To visualize and analyze the evolution of different social networks in real time. And the creation of a social network, configuring the parameters that define it. All this through a simple web interface and user friendly.
-
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
10
Intel(R) CnC
Parallelism without the Pain
...Whether run on multicore systems, Xeon Phi™ or clusters CnC will seamlessly exploit the performance potential of your hardware. Through its portabilty and composability (with itself and other tools) it provides future-proof scalability. Intel© Concurrent Collections for C++ is a C++ template library for letting C++ programmers implement CnC applications which run in parallel on shared and distributed memory. -
11
HomSI
Homozygous Stretch Identifier from next-generation sequencing data
...The researchers typically use SNP arrays to determine the homozygous regions and then search for the disease gene by sequencing the genes within this candidate disease loci. Recently, the advent of next generation sequencing enables the concurrent identification of homozygous regions and the detection of mutations relevant for diagnosis, using data from a single sequencing experiment. In this respect, we have developed a novel tool that identifies homozygous regions using deep sequence data. Using *.vcf files as an input file, our program identifies the majo -
12
ThermV
Comprehensive thermal analysis software package
ThermV thermal analysis software package aims to provide the most sophisticated automatic analysis of thermal analysis data (TG/DTG, DTA and DSC). It offers new algorithm for concurrent peak deconvolution at different heating rates and provides full kinetic analysis of these data, including isoconversional methods for Ea, determination of reaction model and full kinetic triplet, Avrami coefficients, and dimensionality of crystal growth for reactions in the solid state. The project is currently in alpha stage, where individual modules will be provided for data analysis. ... -
13
Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
-
14
SPIZD stands for Stress Probing Invasive Zap Destructor; it's a command-line stress test tool used to determine how many simultaneous (concurrent) connections servers can handle. Protocols: http, pop3, pop3s, imap, imaps, smtp, smtps, ssh, radius.
-
15
libfgen
Library for optimization using a genetic algorithm or particle swarms
libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported. -
16
ntccKMC
ntccKMC: A Kripke-structure-based model checker for ntcc
ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group. -
17
GriF is a new JAVA Collaborative Grid Framework developed by COMPCHEM Virtual Organization operating in the EGI Production Grid environment aimed at running multi-purpose scientific applications empowering Grid massive calculations.
-
18
ipmems
Real-time data acquisition and visualization software
Cross-platform data acquisition and visualization software with an embedded HTTP-server, binary protocol parsing library, protocol emulation server, remote secure administration server, embedded Groovy scripting facilities and HMI (SCADA) visualization module. -
19
The ntcc bounded-time Model Checker
to prove if a CLTL formula satisfy a ntcc process
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it! -
20
Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD
-
21
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
-
22
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
-
23
Concurrent vision processing system; Toolkit for easy implementation of software concurrent vision processing sub-system. Aimed at robotic applications w/best effort realtime. System includes: capture,processing and displaying.
-
24
MultiJADS is a domain independent multiagent active design documents shell. It uses multiagent technology to support activities in concurrent and distributed design systems and is based on the Active Design Documents (ADD) approach.
-
25
Concurrent version of the Life-like cellular automaton written in Erlang. Infinite board, flexible rules, color cells.
