154 search results - page 31 / 31 » Equivalence Problems for Circuits over Sets of Natural Numbe... |
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
CONCURRENCY
2010
13 years 2 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
ICDM
2009
IEEE
13 years 12 months ago
2009
IEEE
Distribution data naturally arise in countless domains, such as meteorology, biology, geology, industry and economics. However, relatively little attention has been paid to data m...
INFOCOM
2009
IEEE
13 years 12 months ago
2009
IEEE
—In this paper, we study an online bipartite matching problem, motivated by applications in wireless communication, content delivery, and job scheduling. In our problem, we have ...