1145 search results - page 48 / 229 » The Correctness of an Optimized Code Generation |
DAC
2006
ACM
14 years 2 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Error correcting output codes (ECOC) represent a classification technique that allows a successful extension of binary classifiers to address the multiclass problem. In this paper...
PROCEDIA
2010
13 years 3 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...