Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Probabilistic (logic) programming conceptsDe Raedt, Luc ; Kimmig, AngelikaMachine learning, 2015-07, Vol.100 (1), p.5-47 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
2 |
Material Type: Livro
|
Pointer AnalysisSmaragdakis, Yannis ; Balatsouras, GeorgeFoundations and trends in programming languages, 2015, Vol.2 (1), p.1-69 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
3 |
Material Type: Artigo
|
A Survey of Active Object LanguagesBoer, Frank De ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal Chang ; Johnsen, Einar Broch ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert MingkunACM computing surveys, 2017-10, Vol.50 (5), p.1-39, Article 76 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
Visual programming languages integrated across the curriculum in elementary school: A two year case study using “Scratch” in five schoolsSáez-López, José-Manuel ; Román-González, Marcos ; Vázquez-Cano, EstebanComputers and education, 2016-06, Vol.97, p.129-141 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
An empirical characterization of stream programs and its implications for language and compiler designThies, William ; Amarasinghe, Saman2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT), 2010, p.365-376ACMTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Auto-parallelizing stateful distributed streaming applicationsSchneider, Scott ; Hirzel, Martin ; Gedik, Bugra ; Wu, Kun-Lung2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT), 2012, p.53-64ACMTexto completo disponível |
|
7 |
Material Type: Livro
|
10 Print Chr$(205.5+Rnd(1)); : Goto 10Montfort, Nick ; Baudoin, Patsy ; Bell, John ; Bogost, Ian ; Douglass, Jeremy ; Marino, Mark C ; Mateas, Michael ; Reas, Casey ; Sample, Mark ; Vawter, NoahCambridge: The MIT Press 2012Texto completo disponível |
|
8 |
Material Type: Livro
|
Behavioural Types: From Theory to ToolsGay, Simon ; Ravara, António Gay, Simon ; Ravara, António ; Gay, Simon ; Ravara, AntónioUnited Kingdom: River Publishers 2017Texto completo disponível |
|
9 |
Material Type: Livro
|
Reconciling Abstraction with High Performance: A MetaOCaml approachKiselyov, OlegFoundations and trends in programming languages, 2018, Vol.5 (1), p.1-101 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
10 |
Material Type: Artigo
|
Brook for GPUs: stream computing on graphics hardwareBuck, Ian ; Foley, Tim ; Horn, Daniel ; Sugerman, Jeremy ; Fatahalian, Kayvon ; Houston, Mike ; Hanrahan, PatACM transactions on graphics, 2004-08, Vol.23 (3), p.777-786 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |