Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
Principles of remote attestationCoker, George ; Guttman, Joshua ; Loscocco, Peter ; Herzog, Amy ; Millen, Jonathan ; O’Hanlon, Brian ; Ramsdell, John ; Segall, Ariel ; Sheehy, Justin ; Sniffen, BrianInternational journal of information security, 2011-06, Vol.10 (2), p.63-81 [Revista revisada por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponible |
2 |
Material Type: Artículo
|
![]() |
Universal-stability results and performance bounds for greedy contention-resolution protocolsAndrews, Matthew ; Awerbuch, Baruch ; Fernandez, Antonio ; Leighton, Tom ; Liu, Zhiyong ; Kleinberg, JonJournal of the ACM, 2001-01, Vol.48 (1), p.39-69 [Revista revisada por pares]New York: Association for Computing MachineryTexto completo disponible |
3 |
Material Type: Artículo
|
![]() |
Polynomial-time quantum algorithms for pell's equation and the principal ideal problemHALLGREN, SeanJournal of the ACM, 2007-03, Vol.54 (1), p.1-19 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
4 |
Material Type: Artículo
|
![]() |
A new approach to the minimum cut problemKARGER, D. R ; STEIN, CJournal of the ACM, 1996-07, Vol.43 (4), p.601-640 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
5 |
Material Type: Artículo
|
![]() |
Approximation algorithms for NP-complete problems on planar graphsBAKER, B. SJournal of the ACM, 1994-01, Vol.41 (1), p.153-180 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
6 |
Material Type: Artículo
|
![]() |
Computing with highly mixed statesAMBAINIS, Andris ; SCHULMAN, Leonard J ; VAZIRANI, UmeshJournal of the ACM, 2006-05, Vol.53 (3), p.507-531 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
7 |
Material Type: Artículo
|
![]() |
The physical mapping problem for parallel architecturesHEATH, L. S ; ROSENBERG, A. L ; SMITH, B. TJ. Assoc. Comput. Mach.; (United States), 1988-07, Vol.35 (3), p.603-634 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
8 |
Material Type: Artículo
|
![]() |
Lattice computers for approximating Euclidean spaceCase, John ; Rajan, Dayanand S ; Shende, Anil MJournal of the ACM, 2001-01, Vol.48 (1), p.110-144 [Revista revisada por pares]New York: Association for Computing MachineryTexto completo disponible |
9 |
Material Type: Artículo
|
![]() |
Problems and projections in CS for the next 49 yearsMcCarthy, JohnJournal of the ACM, 2003-01, Vol.50 (1), p.73-79 [Revista revisada por pares]New York: Association for Computing MachineryTexto completo disponible |
10 |
Material Type: magazinearticle
|
![]() |
Declarative control architectureKOHN, WCommunications of the ACM, 1991-08, Vol.34 (8), p.64-79New York, NY: Association for Computing MachineryTexto completo disponible |