Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL( T )Nieuwenhuis, Robert ; Oliveras, Albert ; Tinelli, CesareJournal of the ACM, 2006-11, Vol.53 (6), p.937-977 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Exploitation of optical interconnects in future server architecturesBenner, A F ; Ignatowski, M ; Kash, J A ; Kuchta, D M ; Ritter, M BIBM journal of research and development, 2005-07, Vol.49 (4.5), p.755-775 [Periódico revisado por pares]Armonk: International Business Machines CorporationTexto completo disponível |
|
3 |
Material Type: Artigo
|
MOEA/D: A Multiobjective Evolutionary Algorithm Based on DecompositionQingfu Zhang, Qingfu Zhang ; Hui Li, Hui LiIEEE transactions on evolutionary computation, 2007-12, Vol.11 (6), p.712-731 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
AdWords and generalized online matchingMehta, Aranyak ; Saberi, Amin ; Vazirani, Umesh ; Vazirani, VijayJournal of the ACM, 2007-10, Vol.54 (5), p.22-es [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
When and how to develop domain-specific languagesMernik, Marjan ; Heering, Jan ; Sloane, AnthonyACM computing surveys, 2005-12, Vol.37 (4), p.316-344 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Self-Adapting Control Parameters in Differential Evolution: A Comparative Study on Numerical Benchmark ProblemsBrest, J. ; Greiner, S. ; Boskovic, B. ; Mernik, M. ; Zumer, V.IEEE transactions on evolutionary computation, 2006-12, Vol.10 (6), p.646-657 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Virtual Reality: How Much Immersion Is Enough?Bowman, D.A. ; McMahan, R.P.Computer (Long Beach, Calif.), 2007-07, Vol.40 (7), p.36-43 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
8 |
Material Type: Livro
|
LATIN 2002: Theoretical Informatics: 5th Latin American Symposium Cancun, Mexico, April 3–6, 2002 ProceedingsRajsbaum, Sergio Rajsbaum, SergioBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
|
9 |
Material Type: Artigo
|
The Case for Energy-Proportional ComputingBarroso, L.A. ; Holzle, U.Computer (Long Beach, Calif.), 2007-12, Vol.40 (12), p.33-37 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Comprehensive learning particle swarm optimizer for global optimization of multimodal functionsLiang, J.J. ; Qin, A.K. ; Suganthan, P.N. ; Baskar, S.IEEE transactions on evolutionary computation, 2006-06, Vol.10 (3), p.281-295 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |