Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
Unifying Functional and Object-Oriented Programming with ScalaODERSKY, Martin ; ROMPF, TiarkCommunications of the ACM, 2014-04, Vol.57 (4), p.76-86New York, NY: Association for Computing MachineryTexto completo disponible |
|
2 |
Material Type: magazinearticle
|
The Go programming language and environmentCox, Russ ; Griesemer, Robert ; Pike, Rob ; Taylor, Ian Lance ; Thompson, KenCommunications of the ACM, 2022-05, Vol.65 (5), p.70-78New York, NY, USA: ACMTexto completo disponible |
|
3 |
Material Type: magazinearticle
|
Voreen: A Rapid-Prototyping Environment for Ray-Casting-Based Volume VisualizationsMeyer-Spradow, J. ; Ropinski, T. ; Mensmann, J. ; Hinrichs, K.IEEE computer graphics and applications, 2009-11, Vol.29 (6), p.6-13 [Revista revisada por pares]United States: IEEETexto completo disponible |
|
4 |
Material Type: magazinearticle
|
A Genealogy of Fractal Code [About the cover]Singh, GaryIEEE computer graphics and applications, 2016-03, Vol.36 (2), p.3-4 [Revista revisada por pares]Los Alamitos: IEEETexto completo disponible |
|
5 |
Material Type: magazinearticle
|
The future is big graphs: a community view on graph processing systemsSakr, Sherif ; Bonifati, Angela ; Voigt, Hannes ; Iosup, Alexandru ; Ammar, Khaled ; Angles, Renzo ; Aref, Walid ; Arenas, Marcelo ; Besta, Maciej ; Boncz, Peter A. ; Daudjee, Khuzaima ; Valle, Emanuele Della ; Dumbrava, Stefania ; Hartig, Olaf ; Haslhofer, Bernhard ; Hegeman, Tim ; Hidders, Jan ; Hose, Katja ; Iamnitchi, Adriana ; Kalavri, Vasiliki ; Kapp, Hugo ; Martens, Wim ; Özsu, M. Tamer ; Peukert, Eric ; Plantikow, Stefan ; Ragab, Mohamed ; Ripeanu, Matei R. ; Salihoglu, Semih ; Schulz, Christian ; Selmer, Petra ; Sequeda, Juan F. ; Shinavier, Joshua ; Szárnyas, Gábor ; Tommasini, Riccardo ; Tumeo, Antonino ; Uta, Alexandru ; Varbanescu, Ana Lucia ; Wu, Hsiang-Yun ; Yakovets, Nikolay ; Yan, Da ; Yoneki, EikoCommunications of the ACM, 2021-09, Vol.64 (9), p.62-71New York: Association for Computing MachineryTexto completo disponible |
|
6 |
Material Type: magazinearticle
|
Co-Developing Programs and Their Proof of CorrectnessChapman, Roderick ; Dross, Claire ; Matthews, Stuart ; Moy, YannickCommunications of the ACM, 2024-03, Vol.67 (3), p.84-94New York, NY, USA: ACMTexto completo disponible |
|
7 |
Material Type: magazinearticle
|
Specification and Verification: The Spec# ExperienceBARNETT, Mike ; FÄHNDRICH, Manuel ; LEINO, K. Rustan M ; MÜLLER, Peter ; SCHULTE, Wolfram ; VENTER, HermanCommunications of the ACM, 2011-06, Vol.54 (6), p.81-91New York, NY: Association for Computing MachineryTexto completo disponible |
|
8 |
Material Type: magazinearticle
|
Extending Aspect-Oriented Programming for Dynamic User's Activity Detection in Mobile App AnalyticsMoreno, Francisco ; Uribe, Silvia ; Alvarez, Federico ; Menendez, Jose ManuelIEEE consumer electronics magazine, 2020-03, Vol.9 (2), p.57-63Piscataway: IEEETexto completo disponible |
|
9 |
Material Type: magazinearticle
|
Computational Red Teaming: Past, Present and FutureAbbass, H ; Bender, A ; Gaidow, S ; Whitbread, PIEEE computational intelligence magazine, 2011-02, Vol.6 (1), p.30-42Washington: IEEETexto completo disponible |
|
10 |
Material Type: magazinearticle
|
Ant Colony Optimization Algorithms for Dynamic Optimization: A Case Study of the Dynamic Travelling Salesperson Problem [Research Frontier]Mavrovouniotis, Michalis ; Yang, Shengxiang ; Van, Mien ; Li, Changhe ; Polycarpou, MariosIEEE computational intelligence magazine, 2020-02, Vol.15 (1), p.52-63Washington: IEEETexto completo disponible |