Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithmsChernoy, Viacheslav ; Shalom, Mordechai ; Zaks, ShmuelDistributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
|
2 |
Material Type: Artigo
|
The state of the art in end-user software engineeringKo, Andrew ; Abraham, Robin ; Beckwith, Laura ; Blackwell, Alan ; Burnett, Margaret ; Erwig, Martin ; Scaffidi, Chris ; Lawrance, Joseph ; Lieberman, Henry ; Myers, Brad ; Rosson, Mary ; Rothermel, Gregg ; Shaw, Mary ; Wiedenbeck, SusanACM computing surveys, 2011-04, Vol.43 (3), p.1-44 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
The online laboratory: conducting experiments in a real labor marketHorton, John J. ; Rand, David G. ; Zeckhauser, Richard J.Experimental economics : a journal of the Economic Science Association, 2011-09, Vol.14 (3), p.399-425 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
4 |
Material Type: Artigo
|
Linear work suffix array constructionKärkkäinen, Juha ; Sanders, Peter ; Burkhardt, StefanJournal of the ACM, 2006-11, Vol.53 (6), p.918-936 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Building a push-button RESOLVE verifier: Progress and challengesSitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy ; Bronish, Derek ; Bucci, Paolo ; Frazier, David ; Friedman, Harvey M. ; Harton, Heather ; Heym, Wayne ; Kirschenbaum, Jason ; Krone, Joan ; Smith, Hampton ; Weide, Bruce W.Formal aspects of computing, 2011-09, Vol.23 (5), p.607-626 [Periódico revisado por pares]London: Springer-VerlagTexto completo disponível |
|
6 |
Material Type: Artigo
|
Dynamic limits for bloat control in genetic programming and a review of past and current bloat theoriesSilva, Sara ; Costa, ErnestoGenetic programming and evolvable machines, 2009-06, Vol.10 (2), p.141-179 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
Normative design using inductive learningCORAPI, DOMENICO ; RUSSO, ALESSANDRA ; DE VOS, MARINA ; PADGET, JULIAN ; SATOH, KENTheory and practice of logic programming, 2011-07, Vol.11 (4-5), p.783-799 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
Human Action Segmentation and Recognition Using Discriminative Semi-Markov ModelsShi, Qinfeng ; Cheng, Li ; Wang, Li ; Smola, AlexInternational journal of computer vision, 2011-05, Vol.93 (1), p.22-32 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
9 |
Material Type: Artigo
|
Applicative programming with effectsMCBRIDE, CONOR ; PATERSON, ROSSJournal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
10 |
Material Type: Artigo
|
Multitask Visual Learning Using Genetic ProgrammingJaśkowski, Wojciech ; Krawiec, Krzysztof ; Wieloch, BartoszEvolutionary computation, 2008-12, Vol.16 (4), p.439-459 [Periódico revisado por pares]One Rogers Street, Cambridge, MA 02142-1209, USA: MIT PressTexto completo disponível |