Search Results for "parametric"
Sort By:
Showing 3 open source projects for "parametric"
View related business solutions-
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.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
* 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
-
2
UPPAAL PARMOS
A tool for parametric model checking of UPPAAL models.
UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster. UP is expandable through the use of plug-ins, with regards to both types of computing resources and search... -
3
DCS3D will be a semi parametric and freeform 3d modelling and automated 2d output add on tool kit for AutoCAD. These tools will aid in the design and detailing of structural elements with the main focus being on structural steel and associated struct
- Previous
- You're on page 1
- Next
