Pinned Repositories
DICE-Verification
Verification tool for the DICE project.
demo-lab
dilworth-labeling
Direct Acyclic Graphs (DAG) labeling with Dilworth's theorem and Bogart-Magagnosc's algorithm
lab-infoA
Esercizi e soluzioni per il laboratorio del corso di Informatica A - A. A. 2017/2018
neural-gas
spark-log-profiling
spark-seq
Mirror of Apache Spark
spark_time_analysis
xSpark-bench
A tool for automating benchmarks to test xSpark
OSTIA
OSTIA is a parser to elicit and represent Storm Topologies by reverse engineering of Storm-based Big-Data programs. The intent and aim of OSTIA is to automatically represent models of Storm topologies and conduct inference analysis on them before nasty issues at run-time take place. A part of said run-time issues can be avoided by using OSTIA and the analyses intended within it.
franco-maroni's Repositories
franco-maroni/demo-lab
franco-maroni/dilworth-labeling
Direct Acyclic Graphs (DAG) labeling with Dilworth's theorem and Bogart-Magagnosc's algorithm
franco-maroni/lab-infoA
Esercizi e soluzioni per il laboratorio del corso di Informatica A - A. A. 2017/2018
franco-maroni/neural-gas
franco-maroni/spark-log-profiling
franco-maroni/spark-seq
Mirror of Apache Spark
franco-maroni/spark_time_analysis
franco-maroni/xSpark-bench
A tool for automating benchmarks to test xSpark
franco-maroni/storm-test
franco-maroni/zot
The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
franco-maroni/zot_plotter