Sciweavers

2621 search results - page 286 / 525
» Near orders and codes
Sort
View
OOPSLA
2010
Springer
15 years 5 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
WD
2010
15 years 4 months ago
Enhancing FEC application in LTE cellular networks
3rd Generation Partnership Project's (3GPP) Long Term Evolution (LTE) is focused on enhancing the Universal Terrestrial Radio Access (UTRA). Evolved-Multimedia Broadcast and M...
Antonios G. Alexiou, Christos Bouras, Vasileios Ko...
ICASSP
2011
IEEE
14 years 10 months ago
A new error resilience scheme based on FMO and error concealment in H.264/AVC
Slice group coding using Flexible Macroblock Ordering (FMO) based on Macroblock (MB) importance in H.264/AVC has been studied for providing higher error robustness in error prone ...
Keyu Tan, Alan Pearmain
CONCUR
1992
Springer
15 years 10 months ago
The Duality of TIme and Information
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
Vaughan R. Pratt
DAM
2007
100views more  DAM 2007»
15 years 6 months ago
Memory management optimization problems for integrated circuit simulators
In hardware design, it is necessary to simulate the anticipated behavior of the integrated circuit before it is actually cast in silicon. As simulation procedures are long due to ...
Timothée Bossart, Alix Munier Kordon, Franc...