A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
The evaluation of power consumption in complex digital systems is a hard task that normally requires long simulation time and complicated models. In this work, we obtain power con...
Gian-Carlo Cardarilli, Andrea Del Re, Alberto Nann...
In the eld of computer vision, bene cial methods of measuring surface shape of transparent objects such as glasses have rarely been proposed. In this paper, we propose a convenien...
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...