One of the biggest areas of scientific visualization (ViSC) application is Medicine: with the evolution of image acquisition techniques the capacity and fidelity of image diagnosi...
Isabel Harb Manssour, Carla Maria Dal Sasso Freita...
We consider the scheduling of a sporadic real-time task system on an identical multiprocessor. Though Pfair algorithms are theoretically optimal for such task systems, in practice...
It is well-known that live multimedia streaming applications operate more efficiently when organized in peer-to-peer (P2P) topologies, since peer upload capacities are utilized t...
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...