107 search results - page 16 / 22 » Capturing and automating performance diagnosis: the Poirot a... |
135
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we address the the growing issue of junction tunneling leakage (Ijunc) at the circuit level. Specifically, we develop a fast approach to analyze the state-dependent ...
140
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We present novel and efficient methods for on-line testing in FPGAs. The testing approach uses a ROving TEster (ROTE), which has provable diagnosabilities and is also faster than ...
177
click to vote
JAIR
2010
15 years 4 months ago
2010
The computation of relatedness between two fragments of text in an automated manner requires taking into account a wide range of factors pertaining to the meaning the two fragment...
203
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Entities on social systems, such as users on Twitter, and images on Flickr, are at the core of many interesting applications: they can be ranked in search results, recommended to ...
185
Voted
JAR
2000
15 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...