1999 search results - page 354 / 400 » Dependently Typed Grammars |
118
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
128
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Skin effect makes interconnect resistance and inductance frequency dependent. This paper addresses the problem of efficiently estimating the signal characteristics of any RLC netw...
140
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
This paper considers the problem of identifying on the Web compound documents (cDocs) ? groups of web pages that in aggregate constitute semantically coherent information entities...
114
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
141
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
The discovery of subsets with special properties from binary data has been one of the key themes in pattern discovery. Pattern classes such as frequent itemsets stress the co-occu...