4934 search results - page 368 / 987 » complexity 2008 |
174
click to vote
TCAD
2008
15 years 6 months ago
2008
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
162
click to vote
INFSOF
2007
15 years 6 months ago
2007
In object-oriented composition, classes and class inheritance are applied to realize type relationships and reusable building blocks. Unfortunately, these two goals might be contr...
180
click to vote
TCS
2008
15 years 6 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
193
click to vote
TCSV
2008
15 years 6 months ago
2008
Three-dimensional animating meshes have been widely used in the computer graphics and video game industries. Reducing the animating mesh complexity is a common way of overcoming th...
179
click to vote
TCSV
2008
15 years 6 months ago
2008
This paper proposes a simple yet effective mechanism to select proper reference frames for H.264 motion estimation. Unlike traditional video codecs, H.264 permits more than one ref...