4440 search results - page 376 / 888 » The space of design |
146
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
165
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different exposures)...
150
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
– Identifying worst-case voltage drop conditions in every module supplied by the power grid is a crucial problem in modern IC design. In this paper we develop a novel methodology...
188
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper identifies a novel feature space to address the problem of human face recognition from still images. This is based on the PCA space of the features extracted by a new m...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract – Reed-Solomon (RS) codes are defined in several different ways which are not exactly equivalent. Distinct algorithms for encoding and decoding of RS codes have been dev...