Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
Background: The development and improvement of reliable computational methods designed to evaluate the quality of protein models is relevant in the context of protein structure re...
Paolo Mereghetti, Maria Luisa Ganadu, Elena Papale...
Declustering and replication are well known techniques used to improve response time of queries in parallel disk environments. As data replication incurs a penalty for updates, da...
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...