ericmercer/workload
Framework to model and measure workload in human-machine systems.
Developer Profile
ericmercer
Discovered public repositories for ericmercer in the GitHub catalog.
ericmercer/parachute-logo
Master files for the parachute logo with usage guide
ericmercer/habanero-semantics
Formal semantics and properties of the Habanero concurrency language
ericmercer/SSAT-2013
Public repository.
ericmercer/uber-lazy
Public repository.
ericmercer/javalite
Public repository.
ericmercer/bio-mas
Bio-inspired MDP Models of Multi-agent Systems
ericmercer/MP-trace-language
A trace language for using SMT solvers to verify executions of message passing programs.
ericmercer/4M
4M Modeling language with golden executable model framework and several usage examples