Sciweavers

3852 search results - page 417 / 771
» Construction of Codes for Network Coding
Sort
View
SOSP
2001
ACM
16 years 3 months ago
Information and Control in Gray-Box Systems
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
ICST
2009
IEEE
16 years 1 months ago
An Initial Characterization of Industrial Graphical User Interface Systems
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
Penelope A. Brooks, Brian P. Robinson, Atif M. Mem...
TLCA
2009
Springer
16 years 1 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
CF
2009
ACM
16 years 1 months ago
Towards automatic program partitioning
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
Sean Rul, Hans Vandierendonck, Koen De Bosschere
ISM
2008
IEEE
161views Multimedia» more  ISM 2008»
16 years 1 months ago
Deblocking of Block-Transform Compressed Images Using Phase-Adaptive Shifted Thresholding
Many popular image compression schemes are based on block-transform coding, a technique where images are broken into small blocks of pixels prior to transformation and compression...
Alexander Wong, William Bishop