Sciweavers

655 search results - page 58 / 131
» Coinduction in Concurrent Timed Systems
Sort
View
ASAP
2008
IEEE
119views Hardware» more  ASAP 2008»
15 years 1 months ago
An FPGA architecture for CABAC decoding in manycore systems
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
Roberto R. Osorio, Javier D. Bruguera
ICMCS
2005
IEEE
120views Multimedia» more  ICMCS 2005»
15 years 5 months ago
An Adaptive UEP_BTC_STBC System for Robust H.264 Video Transmission
A new adaptive UEP_BTC_STBC scheme is proposed to guarantee the robust video transmission according to the channel conditions. This scheme enhanced STBC (space- time block coding)...
Yue Wang, Yinggang Du, Songyu Yu, Kam Tai Chan, Ya...
SOSP
1989
ACM
15 years 1 months ago
Threads and Input/Output in the Synthesis Kernel
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
Henry Massalin, Calton Pu
ATC
2008
Springer
15 years 1 months ago
Scheduling for Reliable Execution in Autonomic Systems
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
Terry Tidwell, Robert Glaubius, Christopher D. Gil...
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
15 years 5 months ago
Beyond RTL: Advanced Digital System Design
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
Shiv Tasker, Rishiyur S. Nikhil