cps-sei / swim
SWIM - A Simulator of Web Infrastructure and Management
☆17Updated 3 years ago
Alternatives and similar repositories for swim:
Users that are interested in swim are comparing it to the libraries listed below
- Rainbow self-adaptive framework☆32Updated 2 years ago
- Collaborative Datacenter Simulation and Exploration for Everybody☆79Updated 2 weeks ago
- A Modern Probabilistic Model Checker☆144Updated this week
- A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi…☆126Updated last month
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆23Updated last month
- SeMoDe is a tool to support lifecycle activites of Serverless functions on different platforms. Currently automated test generation on AW…☆14Updated last year
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated this week
- The main development version of the PRISM model checker.☆167Updated 2 weeks ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Pure Java nonlinear equation solving and unconstrained optimization library☆11Updated last year
- The repository for the Code Review Open Platform (CROP)☆12Updated 6 years ago
- Using Kubernetes for Fog Computing☆36Updated 6 months ago
- The Verifiably Safe Reinforcement Learning Framework☆56Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Simulator for modeling energy consumption in cloud, fog, and edge computing environments 🌱☆111Updated 11 months ago
- Ecore meta-model and examples☆14Updated 7 years ago
- Cloud scheduling simulator☆43Updated 13 years ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆25Updated 2 years ago
- Tool for the automatic orchestration of experiments targeting software systems☆13Updated 2 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 4 months ago
- EmuFog: Extensible and Scalable Emulation of Large-Scale Fog Computing Infrastructures☆24Updated 4 years ago
- Set of tools for validating, visualizing and analyzing TOSCA resource descriptions☆15Updated 5 months ago
- Deep reinforcement learning for resource managment and job schedule. it is inspired by deeprm model and I will implement for in practica…☆12Updated 5 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated 3 months ago
- ☆101Updated 4 years ago
- Tools and standards for conducting and evaluating research in software engineering☆300Updated last week
- A distributed hyperparameter optimizer for machine learning that lives in Docker☆9Updated 5 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆73Updated 4 years ago
- ☆29Updated 2 years ago