Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Most Tensor Problems Are NP-HardHillar, Christopher J ; Lim, Lek-HengJournal of the ACM, 2013-11, Vol.60 (6), p.1-39 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Linear-Time Approximation for Maximum Weight MatchingDuan, Ran ; Pettie, SethJournal of the ACM, 2014-01, Vol.61 (1), p.1-23 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
Static Architecture-Conformance Checking: An Illustrative OverviewPassos, L ; Terra, R ; Valente, M T ; Diniz, R ; Mendonça, NIEEE software, 2010-09, Vol.27 (5), p.82-89 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
On the (im)possibility of obfuscating programsBarak, Boaz ; Goldreich, Oded ; Impagliazzo, Russell ; Rudich, Steven ; Sahai, Amit ; Vadhan, Salil ; Yang, KeJournal of the ACM, 2012-04, Vol.59 (2), p.1-48 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Steiner Tree Approximation via Iterative Randomized RoundingByrka, Jarosław ; Grandoni, Fabrizio ; Rothvoss, Thomas ; Sanità, LauraJournal of the ACM, 2013-02, Vol.60 (1), p.1-33 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Architectural Mismatch: Why Reuse Is Still So HardGarlan, D. ; Allen, R. ; Ockerbloom, J.IEEE software, 2009-07, Vol.26 (4), p.66-69 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Testing first-order properties for subclasses of sparse graphsDvořák, Zdeněk ; Král, Daniel ; Thomas, RobinJournal of the ACM, 2013-10, Vol.60 (5), p.1-24 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Testing Closeness of Discrete DistributionsBatu, Tuğkan ; Fortnow, Lance ; Rubinfeld, Ronitt ; Smith, Warren D ; White, PatrickJournal of the ACM, 2013-02, Vol.60 (1), p.1-25 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
A measure & conquer approach for the analysis of exact algorithmsFomin, Fedor ; Grandoni, Fabrizio ; Kratsch, DieterJournal of the ACM, 2009-08, Vol.56 (5), p.1-32 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Compositional Shape Analysis by Means of Bi-AbductionCalcagno, Cristiano ; Distefano, Dino ; O'Hearn, Peter W ; Yang, HongseokJournal of the ACM, 2011-12, Vol.58 (6), p.1-66 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |