The focus of this demonstration is the performance of streaming video over the mobile wireless channel. We compare two schemes: the standard approach to video which transmits H.26...
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
The Message Passing Interface (MPI) is a popular communication library that supports the SIMD model of parallel computing. Process networks (PN), where processes communicate throu...
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
– In this paper we perform an experimental investigation of the IEEE 802.11e TXOP facility to enhance the transmission of parallel multimedia streaming sessions through efficient...