Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Decision-Making Techniques for Software Architecture Design: A Comparative SurveyFALESSI, Davide ; CANTONE, Giovanni ; KAZMAN, Rick ; KRUCHTEN, PhilippeACM computing surveys, 2011-10, Vol.43 (4), p.1-28 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Architectures of Flexible Symmetric Key Crypto Engines—A Survey: From Hardware Coprocessor to Multi-Crypto-Processor System on ChipBOSSUET, Lilian ; GRAND, Michael ; GASPAR, Lubos ; FISCHER, Viktor ; GOGNIAT, GuyACM computing surveys, 2013-08, Vol.45 (4), p.1-32 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Bringing Virtualization to the x86 Architecture with the Original VMware WorkstationBUGNION, Edouard ; DEVINE, Scott ; ROSENBLUM, Mendel ; SUGERMAN, Jeremy ; WANG, Edward YACM transactions on computer systems, 2012-11, Vol.30 (4), p.1-51 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
4 |
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: Association for Computing MachineryTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
New Constructive Aspects of the Lovasz Local LemmaHAEUPLER, Bernhard ; SAHA, Barna ; SRINIVASAN, AravindJournal of the ACM, 2011-12, Vol.58 (6), p.1-28 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Processing Flows of Information: From Data Stream to Complex Event ProcessingCUGOLA, Gianpaolo ; MARGARA, AlessandroACM computing surveys, 2012-06, Vol.44 (3), p.1-62 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Model Checking Higher-Order ProgramsKOBAYASHI, NaokiJournal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
On Lattices, Learning with Errors, Random Linear Codes, and CryptographyREGEV, OdedJournal of the ACM, 2009-09, Vol.56 (6), p.1-40 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Linear-Time Approximation for Maximum Weight MatchingDUAN, Ran ; PETTIE, SethJournal of the ACM, 2014, Vol.61 (1), p.1-23 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
A Learning Theory Approach to Noninteractive Database PrivacyBLUM, Avrim ; LIGETT, Katrina ; ROTH, AaronJournal of the ACM, 2013-04, Vol.60 (2), p.1-25 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |