E-LIB Suche - Ergebnisse für: Saraiva, Joao

1

Tabulation with Zippers:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Viera, Marcos ; Pardo, Alberto ; Saraiva, João - p. 83-98 , 2024

Link: https://doi.org/10.1007/..

2

In-Depth Analysis of Mobile Apps Statistics: A Study and De..:

, In: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI),

Abbasi, Maryam ; Lopes, Andre ; Rodrigues, Diogo... - p. 1-7 , 2023

Link: https://doi.org/10.23919..

3

Exploring Data Analysis and Visualization Techniques for Pr..:

, In: Communications in Computer and Information Science; Quality of Information and Communications Technology,

Barrocas, André ; da Silva, Alberto Rodrigues ; Saraiva, João - p. 147-162 , 2023

Link: https://doi.org/10.1007/..

4

Paint Your Programs Green: On the Energy Efficiency of Data..:

, In: Lecture Notes in Computer Science; Composability, Comprehensibility and Correctness of Working Software,

Pereira, Rui ; Couto, Marco ; Cunha, Jácome... - p. 53-76 , 2023

Link: https://doi.org/10.1007/..

5

Energy Efficiency of Python Machine Learning Frameworks:

, In: Intelligent Systems Design and Applications; Lecture Notes in Networks and Systems,

Ajel, Salwa ; Ribeiro, Francisco ; Ejbali, Ridha. - p. 586-595 , 2023

Link: https://doi.org/10.1007/..

6

An IoT-Enabled Framework for Efficient Water Management in ..:

, In: Advances in Intelligent Systems and Computing; New Trends in Disruptive Technologies, Tech Ethics and Artificial Intelligence,

Lopes, André ; Rodrigues, Diogo ; Saraiva, João... - p. 154-163 , 2023

Link: https://doi.org/10.1007/..

7

PyAnaDroid: A fully-customizable execution pipeline for ben..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Rua, Rui ; Saraiva, Joao - p. 586-591 , 2023

Link: https://doi.org/10.1109/..

8

Scalability and Performance Evaluation of Graph Database Sy..:

, In: 2023 Second International Conference On Smart Technologies For Smart Nation (SmartTechCon),

Lopes, Andre ; Rodrigues, Diogo ; Saraiva, Joao... - p. 537-542 , 2023

Link: https://doi.org/10.1109/..

9

GPT-3-Powered Type Error Debugging: Investigating the Use o..:

, In: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering,

Ribeiro, Francisco ; de Macedo, José Nuno Castro ; Tsushima, Kanae.. - p. 111-124 , 2023

Link: https://dl.acm.org/doi/1..

10

Energy Efficient Software in an Engineering Course:

, In: Lecture Notes in Computer Science; Composability, Comprehensibility and Correctness of Working Software,

Saraiva, João ; Pereira, Rui - p. 77-97 , 2023

Link: https://doi.org/10.1007/..

11

Understanding the Motivations, Challenges, and Practices of..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Lucas, Walter ; Bonifacio, Rodrigo ; Saraiva, Joao - p. 611-616 , 2023

Link: https://doi.org/10.1109/..

12

Efficient Embedding of Strategic Attribute Grammars via Mem..:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Macedo, José Nuno ; Rodrigues, Emanuel ; Viera, Marcos. - p. 41-54 , 2023

Link: https://dl.acm.org/doi/1..

13

E-MANAFA: Energy Monitoring and ANAlysis tool For Android:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Rua, Rui ; Saraiva, João - p. 1-4 , 2022

Link: https://dl.acm.org/doi/1..

14

Framing program repair as code completion:

, In: Proceedings of the Third International Workshop on Automated Program Repair,

Ribeiro, Francisco ; Abreu, Rui ; Saraiva, João - p. 38-45 , 2022

Link: https://dl.acm.org/doi/1..

15

Farming fish:

, In: Routledge Handbook of Animal Welfare,

Saraiva, Joao L ; Arechavala-Lopez, Pablo ; Sneddon, Lynne U - p. 115-127 , 2022

Link: https://doi.org/10.4324/..