Controlled frames in Hilbert spaces have been recently introduced by P. Balazs and etc. for improving the numerical efficiency of interactive algorithms for inverting the frame operator. In this paper we develop a theory based on g-fusion frames on Hilbert spaces, which provides exactly the frameworks not only to model new frames on Hilbert spaces but also for deriving robust operators. In part...

This documentation is designed to serve as a user s manual for Signal and Sigali It explains how one can use Signal and Sigali from scratch without any previous knowledge about the architecture of either of them Signal is the compiler of a synchronous data ow language of the same name This language is used for precise speci cation of real time reactive discrete event systems When used with one ...

The study of the complexity of logical problems has provided a very fruitful field of research since many decades. On the one hand researchers have tried to classify exactly in terms of complexity classes and upper and lower bounds the complexity of decision and other logical problems. Although in general such problems are of high complexity, efforts have been made to develop efficient algorith...

A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...