关注
Alcides Fonseca
Alcides Fonseca
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
在 ciencias.ulisboa.pt 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A manifesto for energy-aware software
A Fonseca, R Kazman, P Lago
IEEE software 36 (6), 79-82, 2019
552019
Prototyping a GPGPU neural network for deep-learning big data analysis
A Fonseca, B Cabral
Big Data Research 8, 50-56, 2017
402017
Æminium: A permission-based concurrent-by-default programming language approach
S Stork, K Naden, J Sunshine, M Mohr, A Fonseca, P Marques, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1-42, 2014
342014
Automatic parallelization: Executing sequential programs on a task-based parallel runtime
A Fonseca, B Cabral, J Rafael, I Correia
International Journal of Parallel Programming 44, 1337-1358, 2016
282016
Helping developers write energy efficient haskell through a data-structure evaluation
G Melfe, A Fonseca, JP Fernandes
Proceedings of the 6th International Workshop on Green and Sustainable …, 2018
142018
Dependency-based automatic parallelization of java applications
J Rafael, I Correia, A Fonseca, B Cabral
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International …, 2014
142014
Æminiumgpu: An intelligent framework for gpu programming
A Fonseca, B Cabral
Facing the Multicore-Challenge III: Aspects of New Paradigms and …, 2013
142013
Controlling the granularity of automatic parallel programs
A Fonseca, B Cabral
Journal of Computational Science 17, 620-629, 2016
132016
Data types as a more ergonomic frontend for grammar-guided genetic programming
G Espada, L Ingelse, P Canelas, P Barbosa, A Fonseca
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
102022
Evaluation of runtime cut-off approaches for parallel programs
A Fonseca, B Cabral
High Performance Computing for Computational Science–VECPAR 2016: 12th …, 2017
102017
The usability argument for refinement typed genetic programming
A Fonseca, P Santos, S Silva
International Conference on Parallel Problem Solving from Nature, 18-32, 2020
92020
Reductions and abstractions for formal verification of distributed round-based algorithms
R Barbosa, A Fonseca, F Araujo
Software Quality Journal 29 (3), 705-731, 2021
82021
Evaluating the inherent sensitivity of programming languages to soft errors
F Cerveira, A Fonseca, R Barbosa, H Madeira
2018 14th European Dependable Computing Conference (EDCC), 65-72, 2018
82018
Interpretable symbolic regression for data science: analysis of the 2022 competition
FO de França, M Virgolin, M Kommenda, MS Majumder, M Cranmer, ...
arXiv preprint arXiv:2304.01117, 2023
72023
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures
G Melfe, A Fonseca, JP Fernandes
Proceedings of the XXII Brazilian Symposium on Programming Languages, 83-89, 2018
72018
Eve: A parallel event-driven programming language
A Fonseca, J Rafael, B Cabral
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International …, 2014
72014
An experience report on challenges in learning the robot operating system
P Canelas, M Tavares, R Cordeiro, A Fonseca, CS Timperley
Proceedings of the 4th International Workshop on Robotics Software …, 2022
62022
Handling exceptions in programs with hidden concurrency: New challenges for old solutions
A Fonseca, B Cabral
2012 5th International Workshop on Exception Handling (WEH), 14-17, 2012
62012
Computational prediction of human deep intronic variation
P Barbosa, R Savisaar, M Carmo-Fonseca, A Fonseca
Gigascience 12, giad085, 2023
52023
Overcoming the no free lunch theorem in cut-off algorithms for fork-join programs
A Fonseca, B Cabral
Parallel Computing 76, 42-56, 2018
52018
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交