193 search results - page 19 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
TMM
2010
13 years 3 months ago
2010
We develop an analytical framework to investigate the impacts of network dynamics on the user perceived video quality. Our investigation stands from the end user's perspective...
SSIRI
2010
13 years 7 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
DAGM
2003
Springer
14 years 1 months ago
2003
Springer
This paper addresses the issue of optimal scale selection for circular edge extraction in the context of higher dimensional multiscale edge extraction. Based on a classification o...
CASES
2004
ACM
14 years 2 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes a source to source compilation tool for optimizing MPI-based parallel applications. This tool is able to automatically apply a “prepushing” transformation...