Modeling and Simulation (M&S) has become an essential tool in science and engineering due to its ability to represent problems in various disciplines and conduct scientific explorations. To define solutions based on M&S it is important to have formal definitions for the models. In this way, we can define the models with precision, as well as verify and reuse them. The Discrete Event System Specification (DEVS) formalism provides a theoretical formalism for developing M&S based on discrete events. While we can use DEVS to define models precisely, an issue with M&S is that the simulation of complex problems generally requires a significant number of computations, and this leads to large execution times. In addition, deploying simulations in parallel computers presents an additional challenge, the energy high-performance computers need to operate.