The incorporation of timing makes circuit verification computationally expensive. This paper proposes a new approach for the verification of timed circuits. Rather than calculating the exact timed stare space, a conservative ...

Parameter variations, which are increasing along with advances in process technologies, affect both timing and power. Variability must be considered at both the circuit and microarchitectural design levels to keep pace ...

Real-time systems are witnessing a significant increase in critical software's size, complexity, and performance needs, which can only be satisfied with high-performance hardware features. Cache memories, pervasively used ...

The loss of plasma control events in ITER are safety cases investigated to give an upper bound of the worse effects foreseeable from a total failure of the plasma control function. Conservative analyses based on simple OD ...

En este trabajo se presentan los principales resultados del estudio de normativa de seguridad para minas y cuevas turísticas de la Unión Europea (UE). Del conjunto de países donde existen minas y cuevas turísticas se han ...

The present work describes and supports the methodology for the improvement of the wall model devel-oped in AINA and its specific application to the Japanese DEMO Water Cooled Pebbled Bed. The set-upand application of this ...

With recent advancements in the research and application of robotics, sensory devices, and Intelligent Transport Systems, autonomous vehicles are expected to become an integral part of the future transportation system. ...

It is often predicted that the industrialization of building activities will lead to a reduction of accident rates in the construction sector, particularly as a result of switching activities from building sites to factories. ...

The frequency of occurrence of an accident is a key aspect in the risk assessment field. Vari- ables such as the human factor (HF), which is a major cause of undesired events in process industries, are usually not considered ...

An increasing number of critical functionalities integrated in embedded critical systems rely on deep learning (DL) technology. This article summarizes certain key aspects of DL’s intrinsic stochastic and training-data-dependent ...