Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Consensus in the presence of partial synchronyDwork, Cynthia ; Lynch, Nancy ; Stockmeyer, LarryJournal of the ACM, 1988-04, Vol.35 (2), p.288-323 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Graph-Based Algorithms for Boolean Function ManipulationBRYANT, R. EIEEE Trans. Comput.; (United States), 1986-08, Vol.C-35 (8), p.677-691 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Many hard examples for resolutionCHVATAL, V ; SZEMEREDI, EJournal of the ACM, 1988-10, Vol.35 (4), p.759-768 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
Using dual approximation algorithms for scheduling problems theoretical and practical resultsHochbaum, Dorit ; Shmoys, DavidJournal of the ACM, 1987-01, Vol.34 (1), p.144-162 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Fat-trees: Universal networks for hardware-efficient supercomputingLeiserson, C. E.IEEE transactions on computers, , Vol.C-34 (10), p.892-901 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
Computational limitations on learning from examplesPitt, Leonard ; Valiant, LeslieJournal of the ACM, 1988-10, Vol.35 (4), p.965-984 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
Image Analysis Using Mathematical MorphologyHaralick, Robert M. ; Sternberg, Stanley R. ; Zhuang, XinhuaIEEE transactions on pattern analysis and machine intelligence, 1987-07, Vol.PAMI-9 (4), p.532-550 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
The complexity of propositional linear temporal logicsSistla, A ; Clarke, EJournal of the ACM, 1985-07, Vol.32 (3), p.733-749 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Algebraic laws for nondeterminism and concurrencyHennessy, Matthew ; Milner, RobinJournal of the ACM, 1985-01, Vol.32 (1), p.137-161 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Self-adjusting binary search treesSleator, Daniel ; Tarjan, RobertJournal of the ACM, 1985-07, Vol.32 (3), p.652-686 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |