We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman
— A 2-MITE is a multiple-input translinear element with two input gates. In this paper, different properties of networks of 2-MITEs are derived, especially in the case of product...
Simple algorithms can be analytically characterized, but such analysis is questionable or even impossible for more complicated algorithms, such as Model Predictive Control (MPC). ...
Panagiotis D. Vouzis, Sylvain Collange, Mark G. Ar...
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
Abstract. For nonseparable bidimensional wavelet transforms, the choice of the dilation matrix is all–important, since it governs the downsampling and upsampling steps, determine...