Search Results for "binary analysis tool"
Sort By:
Showing 18 open source projects for "binary analysis tool"
View related business solutions-
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.
-
Loan management software that makes it easy.Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.
-
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... -
Payments you can rely on to run smarter.Accept payments at your counter or on the go. It’s easy to get started. Try the Square POS app on your phone or pick from a range of hardworking hardware.
-
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.
-
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
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
