Multiformalism modeling has shown to be a valuable technique to cope with the complexity of the constraints that apply to specifications of computer-based systems state of the art. Multiformalism techniques help modelers and designers by providing a more (natural and) convenient approach in the specification process and in analysis of performance. Although their application does not necessarily...

The overall performance of a distributed system is highly dependent on the communication efficiency of the system. Although network resources (links, bandwidth) are becoming increasingly more available, the communication performance of data transfers involving large volumes of data does not necessarily improve at the same rate. This is due to the inefficient usage of the available network resou...

We present a certain programming paradigm for implementing low-footprint applications on small embedded platforms and a tiny operating system based on that paradigm. The primary objective of our work was to create a friendly environment for rapid, reliable, and efficient deployment of customizable microcontroller applications primarily (but not necessarily) aimed at the wireless world. The prop...

Abstract. This paper presents a new algorithm for the numerical solution of the Navier-Stokes equations coupled with the convection-diffusion equation. After establishing convergence of the semi-discrete formulation at each time step, we introduce a new iterative scheme based on a projection method called Coupled Prediction Scheme (CPS). We show that even though the predicted temperature is adv...

We propose an efficient solution to the general M-view projective reconstruction problem, using matrix factorization and iterative least squares. The method can accept input with missing data, meaning that not all points are necessarily visible in all views. It runs much faster than the often-used non-linear minimization method, while preserving the accuracy of the latter. The key idea is to co...