#

resource-modeling

Here are 3 public repositories matching this topic...

workflowfm / workflowfm-reasoner

A logic-based library for correct-by-construction process modelling and composition.

theorem-proving type-theory workflows workflow-management business-process-management correct-by-construction resource-modeling workflow-models proofs-as-processes

Updated Dec 27, 2023
OCaml

kim-sunghoon / Neural-Architecture-Search-for-Resource-Constrained-Hardware

fpga network nas cifar-10 resource-modeling

Updated Jan 20, 2020
Python

sivaosorg / unused-ngx-blobs-o2jwt

Config middleware resource server validate authentication token / jwt / user-detail

middleware-dispatchers resource-allocation resource-server resource-modeling resource-migration

Updated Dec 17, 2022
Java

Improve this page

Add a description, image, and links to the resource-modeling topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the resource-modeling topic, visit your repo's landing page and select "manage topics."