Sciweavers

1183 search results - page 157 / 237
» Efficient Wet Paper Codes
Sort
View
DAC
2002
ACM
16 years 26 days ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
RECOMB
2007
Springer
16 years 6 days ago
QNet: A Tool for Querying Protein Interaction Networks
Molecular interaction databases can be used to study the evolution of molecular pathways across species. Querying such pathways is a challenging computational problem, and recent e...
Banu Dost, Tomer Shlomi, Nitin Gupta 0002, Eytan R...
STOC
2002
ACM
80views Algorithms» more  STOC 2002»
16 years 6 days ago
Strict polynomial-time in simulation and extraction
The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain c...
Boaz Barak, Yehuda Lindell
ICIAP
2005
ACM
16 years 22 hour ago
Half-Pixel Correction for MPEG-2/H.264 Transcoding
To improve video quality and coding efficiency, H.264/AVC [1] has adopted several newer coding tools such as a 4?4 integer DCT and a method for calculating half pixels than the pre...
Soon-young Kwon, Joo-Kyong Lee, Ki-Dong Chung
LCTRTS
2010
Springer
15 years 6 months ago
Elastic computing: a framework for transparent, portable, and adaptive multi-core heterogeneous computing
Over the past decade, system architectures have started on a clear trend towards increased parallelism and heterogeneity, often resulting in speedups of 10x to 100x. Despite numer...
John Robert Wernsing, Greg Stitt