2621 search results - page 286 / 525 » Near orders and codes |
170
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
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,...
217
click to vote
WD
2010
15 years 4 months ago
2010
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...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
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 ...
191
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
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...
169
click to vote
DAM
2007
15 years 6 months ago
2007
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 ...