41472 search results - page 7887 / 8295 » it 2006 |
188
click to vote
APGV
2006
ACM
16 years 26 days ago
2006
ACM
Previous studies have shown that self-motion has an inhibiting effect on concurrent 3D motion perception. To investigate whether self-motion similarly impairs concurrent image mot...
186
click to vote
APLAS
2006
ACM
16 years 26 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
168
click to vote
APLAS
2006
ACM
16 years 26 days ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
152
click to vote
ASPDAC
2006
ACM
16 years 26 days ago
2006
ACM
— Due to its great flexibility, gridless routing is desirable for nanometer circuit designs that use variable wire widths and spacings. Nevertheless, it is much more difficult ...
181
click to vote
ASPDAC
2006
ACM
16 years 26 days ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...