Titlebook: High Performance Computing Systems; 19th Symposium, WSCA Calebe Bianchini,Carla Osthoff,Renato Ferreira Conference proceedings 2020 Springe

Abrupt

Evaluating Cache Line Behavior Predictors for Energy Efficient Processors predictor (SDP). Both mechanisms turn off dead cache lines using Gated-Vdd technique in order to save their static energy, thus analyzing how each policy (Priority replacement and cache Bypass) affects the energy savings and the system performance.

AMOR

rocesses and the interactions of a decomposed typed Jackson Net yields a model that is bisimilar to the original system. We exploit this property to demonstrate that if a process discovery algorithm ensures rediscoverability, the system of interacting processes is rediscoverable.

pantomime

Walid Abdala Rfaei Jradi,Hugo Alexandre Dantas do Nascimento,Wellington Santos Martinsess strategies are enough for winning. Moreover we introduce permissiveness for safety and reachability games as a criterion to choose between winning strategies and prove that one can compute a most permissive strategy (when it exists) in linear time.

grenade

of synthetic and real-world network topologies, we document the efficiency of our approach and compare its performance with state-of-the-art tool NetSynth. Our experiments show that for several networks with up to thousands of nodes, we are able to outperform NetSynth’s update schedule generation.

LEERY