131 search results - page 23 / 27 » Leftist Canonical Ordering |
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...
IUCS
2009
ACM
14 years 4 months ago
2009
ACM
This paper applied “Sandglass” machine translation architecture to the task of translating Japanese functional expressions into English. We employ the semantic equivalence cla...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...