tau-analyzer-setup free download

Showing 4 open source projects for "tau-analyzer-setup"

View related business solutions

UML Java Clear Filters & Widen Search

Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)

Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.

Learn More
Outgrown Windows Task Scheduler?
Free diagnostic identifies where your workflow is breaking down—with instant analysis of your scheduling environment.

Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.

Download Free Tool
1

PIN

Provenance in NetLogo

This tool can trace, capture, query and visualize the dependency provenance in NetLogo. It consists of four main components: a source code analyzer used to automatically add probes to the model's source code, a NetLogo extension for capturing the provenance traces generated from probes, a non-preprocessing (NP) provenance slicing technique for computing provenance slices using provenance traces, and a visualization component for visualizing the provenance slices. It is compatible with NetLogo version 5.0.3.

Downloads: 0 This Week

Last Update: 2016-03-15
See Project
2

CM3

CM3 describes a set of plugins for several UML-Tools by adding validation-mechanisms to the tool. This enables the team to setup several individual validation-rules for their models.

Downloads: 1 This Week

Last Update: 2013-04-18
See Project
3

UMLMDA, a UML/MDA Generator Framework

UMLMDA provides a set of java tools to read UML models from ArgoUML, Rational Rose, RSM or XMI and to setup generators with jsp based templates to generate code from the models. Based on this tools a MDA-Framework is developed for business applications.

Downloads: 0 This Week

Last Update: 2013-02-14
See Project
4

Petri Nets Editor

Simple petri net editor

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.

Downloads: 0 This Week

Last Update: 2016-11-20
See Project
AI-generated apps that pass security review
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.

Try Retool free