Sciweavers

1379 search results - page 136 / 276
» codes 2009
Sort
View
ESTIMEDIA
2009
Springer
15 years 1 months ago
Efficient execution of Kahn process networks on multi-processor systems using protothreads and windowed FIFOs
As single-processor systems are ceasing to scale effectively, multi-processor systems are becoming more and more popular. While there are many challenges of designing multi-process...
Wolfgang Haid, Lars Schor, Kai Huang, Iuliana Baci...
PLDI
2009
ACM
15 years 11 months ago
Language-based security on Android
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
Avik Chaudhuri
SEFM
2009
IEEE
15 years 11 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
122
Voted
IEEEIAS
2009
IEEE
15 years 10 months ago
Octagonal Search Algorithm with Early Termination for Fast Motion Estimation on H.264
: An adaptive threshold for early termination is proposed in this paper to enhance the cross octagonal search algorithm (COSA)[1]. In block motion estimation, search patterns have ...
Zhaopeng Cui, Dujuan Wang, Guang Jiang, Chengke Wu
GLOBECOM
2009
IEEE
15 years 11 months ago
Gaussian MIMO Multi-Receiver Wiretap Channel
Abstract— We consider the Gaussian multiple-input multipleoutput (MIMO) multi-receiver wiretap channel, and derive the secrecy capacity region of this channel for the most genera...
Ersen Ekrem, Sennur Ulukus