Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Eraser: a dynamic data race detector for multithreaded programsSavage, Stefan ; Burrows, Michael ; Nelson, Greg ; Sobalvarro, Patrick ; Anderson, ThomasACM transactions on computer systems, 1997-11, Vol.15 (4), p.391-411 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
2 |
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 |
|
3 |
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 |
|
4 |
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 |
|
5 |
Material Type: Artigo
|
Strategic directions in concurrency researchCleaveland, Rance ; Smolka, ScottACM computing surveys, 1996-12, Vol.28 (4), p.607-625 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Type classes in HaskellHall, Cordelia ; Hammond, Kevin ; Peyton Jones, Simon ; Wadler, PhilipACM transactions on programming languages and systems, 1996-03, Vol.18 (2), p.109-138 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
Strategic directions in research in theory of computingLoui, MichaelACM computing surveys, 1996-12, Vol.28 (4), p.575-590 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Strategic directions in artificial intelligenceDoyle, Jon ; Dean, ThomasACM computing surveys, 1996-12, Vol.28 (4), p.653-670 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Strategic directions in computational geometryTamassia, RobertoACM computing surveys, 1996-12, Vol.28 (4), p.591-606 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Parallelism for free: efficient and optimal bitvector analyses for parallel programsKnoop, Jens ; Steffen, Bernhard ; Vollmer, JürgenACM transactions on programming languages and systems, 1996-05, Vol.18 (3), p.268-299 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |