Search Results for "tau-analyzer-setup"

...They've been tested for machine learning workloads on Amazon EC2, Amazon ECS and Amazon EKS services as well. This project is licensed under the Apache-2.0 License. Ensure you have access to an AWS account i.e. setup your environment such that awscli can access your account via either an IAM user or an IAM role.

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

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.

* 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

Helena is an explicit state model checker for high-level Petri nets.

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.

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.

Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.

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.