This artifact demonstrates a hybrid-resource-analysis technique called resource decomposition.
To build a Docker image, in the root director, run
docker build -t resource-decomposition .Note that we need a period at the end of the command to indicate the current (i.e., root) directory contains a Dockerfile.
To run the Docker image, run
docker run -it --rm resource-decompositionThe artifact is described in a document README.pdf, whose LaTex source files are
stored in the directory README. To build the document, go to the directory
README and compile the LaTex source files. For example, if you already have
latexmk on your machine, run
latexmk --pdf RAEDME