Search Results for "binary analysis tool"
Sort By:
Showing 18 open source projects for "binary analysis tool"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
1
jEPlus - Parametrics for E+ and TRNSYS
An EnergyPlus shell for parametric studies and more ...
Parametric analysis is often needed for exploring design options, especially when a global optimization method is not available, or the optimization result is in doubt. Parametric analysis can also be applied to all design variables simultaneously, which forms an exhaustive search that, providing that the search grid is fine enough, will guarantee a global optimum solution. -
2
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)... -
3
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...
-
4
Visual Figaro
System safety, dependability and security analysis
Visual Figaro is an integrated environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://www.edf.fr/recherche/codes-de-calcul/kb3). KB3 is based on the FIGARO reliability modeling language, suitable for describing CTMC (continuous time Markov chains), DES (discrete event simulation) models, and for automatic generation of fault trees. FIGARO is objet oriented, close to natural language and enables building libraries of reusable components... -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
JAS-mine
Toolkit for agent-based & dynamic microsimulation modelling
JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. -
6
Astronomy CCD Calculator
Plan and preview your astronomical shots
A handy tool designed to help beginner Astronomers. The software Astronomy CCD Calculator uses NASA/SkyView survey resource which provides CCD images of the night sky.It helps you plan an observation by letting you play with different instruments resulting various "Fields Of View" so you can see what your camera will capture and choose the best target for the session. -
7
NeSSi2
Network security simulator
At the moment NeSSi² is not actively maintained anymore since we are planning a successor project. NeSSi² is a network simulation tool suite addressing in particular network security aspects. Sample capabilities are profile-based attack generation, traffic analysis and support for attack/malware detection algorithm plugins. -
8
MADS (Multipurpose Agricultural Data System) is a free open-source tool for modelling and analysis of agricultural activities - crops, livestock, forestry and others - in developing countries, at sector, regional or project level.
-
9
A framework built on Berkley's Ptolemy. Runs a variety of bit width optimization algorithms and suggests bit widths. Includes parsers for simulink and system generator.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
11
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
-
12
This project concerns K-MADe (Kernel of Model for Activity Description environment), a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis.
-
13
-
14
Extended Bioaccumulation Framework (ExBAF) is a tool for assessing bioaccumulation in foodwebs. Supports several bioaccumulation models and provides tools for analysis and visualization.
-
15
Paean is a tool to demonstrate in real-time the effect of various error-correcting codes on data transmitted via several channel models.
-
16
DawgPack is an ultra-fast, Cloud-based tool that maps many high coverage genomes and performs analysis to find clues for pathogenesis. It will integrate CNV, SNP, RNA-Seq and ChIP-Seq analyses.
-
17
An elevator Algorithm analysis and design tool. The main goal of the project is to provide a platform to compare elevator control algorithms.
-
18
QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
- Previous
- You're on page 1
- Next