Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Delegating Computation: Interactive Proofs for MugglesGoldwasser, Shafi ; Kalai, Yael Tauman ; Rothblum, Guy N.Journal of the ACM, 2015-08, Vol.62 (4), p.1-64, Article 27 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
The many faces of publish/subscribeEugster, Patrick ; Felber, Pascal ; Guerraoui, Rachid ; Kermarrec, Anne-MarieACM computing surveys, 2003-06, Vol.35 (2), p.114-131 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
A brief history of just-in-timeAycock, JohnACM computing surveys, 2003-06, Vol.35 (2), p.97-113 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
Local Reasoning for Global Invariants, Part I: Region LogicBanerjee, Anindya ; Naumann, David A ; Rosenberg, StanJournal of the ACM, 2013-06, Vol.60 (3), p.1-56 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
A randomized linear-time algorithm to find minimum spanning treesKarger, David ; Klein, Philip ; Tarjan, RobertJournal of the ACM, 1995-03, Vol.42 (2), p.321-328 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
A complete problem for statistical zero knowledgeSahai, Amit ; Vadhan, SalilJournal of the ACM, 2003-03, Vol.50 (2), p.196-249 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
Evolution of superFeatures through genetic programmingDay, Peter ; Nandi, Asoke K.Expert systems, 2011-05, Vol.28 (2), p.167-184 [Periódico revisado por pares]Oxford, UK: Blackwell Publishing LtdTexto completo disponível |
|
8 |
Material Type: Artigo
|
Scale-sensitive dimensions, uniform convergence, and learnabilityAlon, Noga ; Ben-David, Shai ; Cesa-Bianchi, Nicolò ; Haussler, DavidJournal of the ACM, 1997-07, Vol.44 (4), p.615-631 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
An introduction to partial evaluationJones, NeilACM computing surveys, 1996-09, Vol.28 (3), p.480-503 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Programming in the complex: Cybernetic insights into software process and architectureDonaires, Omar SacilottoSystems research and behavioral science, 2010-11, Vol.27 (6), p.667-679 [Periódico revisado por pares]Chichester, UK: John Wiley & Sons, LtdTexto completo disponível |