242 search results - page 49 / 49 » Retrieval of Complex Objects Using a Four-Valued Logic |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper, we present a high-level power model to estimate the power consumption in semi-global and global interconnects. Such interconnects are used for communications bet...