2501 search results - page 455 / 501 » Logics with Rank Operators |
131
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
253
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
215
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
143
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
108
Voted
ICCAD
2007
IEEE
16 years 27 days ago
2007
IEEE
—This work proposes a new yield computation technique dedicated to HLS, which is an essential component in timing variationaware HLS research field. The SSTAs used by the curren...