1333 search results - page 52 / 267 » Categorial Minimalism |
GLVLSI
2010
IEEE
15 years 4 months ago
2010
IEEE
Higher operating frequencies have increased the importance of inductance in power and ground networks. The effective inductance of the power and ground network can be reduced with...
103
click to vote
ENTCS
2006
14 years 12 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
DAC
2008
ACM
16 years 25 days ago
2008
ACM
Future SoCs will contain multiple cores. For workloads with significant parallelism, prior work has shown the benefit of many small, multi-threaded, scalar cores. For workloads th...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...