9849 search results - page 1921 / 1970 » Algorithms and Experiments for the Webgraph |
133
click to vote
IWMM
2010
Springer
15 years 3 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
91
Voted
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
117
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a vector selection methodology for estimating the peak power dissipation in a CMOS logic circuit. The ultimate goal is to combine the speed of RT-level simulation with ...
104
Voted
DEXAW
2008
IEEE
15 years 3 months ago
2008
IEEE
In an authorship verification problem one is given writing examples from an author A, and one is asked to determine whether or not each text in fact was written by A. In a more ge...
155
click to vote
FPGA
2008
ACM
15 years 3 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...