Hervé Miguel Cordeiro Paulino (E41D-A447-90EB)

Curriculum Vitae

Hervé Miguel Cordeiro Paulino

NOVA LINCS Group: Computer Systems. Research Topics: Replicated Systems, Edge Computing, Data-Centric Synchronization, GPU Computing. Google Scholar: https://scholar.google.com/citations?user=VFJ3-DYAAAAJ&hl=en Hervé Paulino, PhD, is an Associate Professor at the Computer Science Department of the NOVA University of Lisbon, and a member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) research center. He received his PhD in Computer Science from the NOVA University of Lisbon in 2006, in the area of mobile agent computing. His research interests have been on the areas of concurrent, parallel and distributed computing, namely on the correct programming and efficient execution of programs, both on shared memory architectures, such as the laptops and mobile phones that we use everyday, as on replicated distributed systems, such as the ones that support Facebook or Amazon's online store. He is also doing research on the emergent topic of edge computing, a paradigm that takes advantage of the resources available at the network edge (such as on recent WiFi access points and, eventually, on 5G cellular towers) to efficiently communicate information among nearby devices, as an alternative to distant centralized Cloud services. These two topics of distributed concurrency control and edge computing have been explored in the framework of the DeDuCe research project, led by Hervé Paulino and financed by the Portuguese Science and Technology Foundation. The project spawn many publications, including a best paper award at SAC 2022. Another current research interest of his is the efficient high-level programming of accelerators, such as the Graphics Processing Units (GPUs) found in most computing devices, including the aforementioned laptops and mobile phones. This research direction received a hardware grant from the NVIDIA corporation. Hervé has authored or co-authored more than 70 publications in journals, conferences or workshops, including journals Future Generation Computer Systems, Journal of Scheduling and Journal of Computer and System Sciences, and top-venues conferences such as OOPSLA, SPAA and Euro-Par. He has also supervised 1 Post-doc, 2 PhD students and supervised (or co-supervised) 59 Master students and more than 26 undergraduate students. Currently he is supervising (or co-supervising) 13 Master students. Selected Publications: - António Barreto, Hervé Paulino, João A. Silva, Nuno M. Preguiça: PS-CRDTs: CRDTs in highly volatile environments. Future Gener. Comput. Syst. 141: 755-767 (2023) - Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara: AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7(OOPSLA2): 116-145 (2023) - Rafael Custódio, Hervé Paulino, Guilherme Rito: Efficient Synchronization-Light Work Stealing. ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2023) - Guilherme Rito, Hervé Paulino: Scheduling computations with provably low synchronization overheads. J. Sched. 25(1): 107-124 (2022) - João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118: 14-36 (2021)

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Hervé Miguel Cordeiro Paulino

Nomes de citação

Paulino, Hervé

Identificadores de autor

Ciência ID: E41D-A447-90EB
ORCID iD: 0000-0001-7958-9740
Google Scholar ID: VFJ3-DYAAAAJ
Researcher Id: A-7016-2010
Scopus Author Id: 16234327700

Websites

http://asc.di.fct.unl.pt/~herve (Profissional)

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)
Francês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador independente (B1)	Utilizador proficiente (C1)
Português (Idioma materno)

Formação

	Grau	Classificação
2006 Concluído	PhD on Computer Science (Doutoramento) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal "An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus" (TESE/DISSERTAÇÃO)
1998 Concluído	Master on Computer Science (Mestrado) Universidade do Porto Faculdade de Ciências, Portugal "Desenho e Implementação do pSystem para Arquitecturas de Memória Distribuída" (TESE/DISSERTAÇÃO)
1996 Concluído	Computer Science (Licenciatura) Universidade do Porto Faculdade de Ciências, Portugal

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2015/01 - Atual	Investigador (Investigação)	Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

2007/01 - 2014/12	Investigador (Investigação)	CITI – Centre for Informatics and Information Technologies, Portugal

2007/01 - 2014/12	Investigador Auxiliar Convidado (carreira) (Investigação)	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
	CRACS – Center for Research in Advanced Computing Systems, Portugal
1998/09/01 - 1999/09/15	Assistente de Investigação (carreira) (Investigação)	Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2020/09 - Atual	Professor Associado (Docente Universitário)	Universidade Nova de Lisboa Departamento de Informática, Portugal

2006/12/15 - 2020/09	Professor Auxiliar (Docente Universitário)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

1999/09/15 - 2006/12/15	Assistente (Docente Universitário)	Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

	Categoria Profissional Instituição de acolhimento	Empregador
1997/09/01 - 1998/09/01	Scholarship holder	Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Projetos

Bolsa

	Designação	Financiadores
2003/09 - 2006/08	An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus 0 Bolseiro de Doutoramento Educational Development Programs for Portugal (PRODEP III), Portugal	Concluído
1997/09/01 - 1999/08/31	BRAGG - Monitoring of Structures Based on Fiber Optic Bragg Sensors. PRAXIS XXI/BIC/12252/96 Bolseiro de Mestrado Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal	Fundação para a Ciência e a Tecnologia Concluído

Projeto

	Designação	Financiadores
2018/09/01 - 2022/08/31	DeDuCe - Distributed Data-Centric Concurrency Control PTDC/CCI-COM/32166/2017 Investigador responsável Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal Instituto de Telecomunicações Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2018/05/01 - 2022/04/30	HiPSTr - High-Performance Serializable Transactions LISBOA-01-0145-FEDER-032456 PTDC/CCI-COM/- 32456/2017 LISBOA-01-0145-FEDER-032456 Investigador Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2019/01/01 - 2019/12/31	NOVA Laboratory for Computer Science and Informatics UID/CEC/04516/2019 Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2014/04 - 2018/04	Hyrax: Crowd-Sourcing Mobile Devices to Develop Edge Clouds grant.Provided by PTCRIS: 135826 Co-Investigador Responsável (Co-IR) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal Instituto de Telecomunicações, Portugal Carnegie Mellon University Portugal Office, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2011/03 - 2014/08	MACAW: Macroprogramming for Wireless Sensor Networks grant.Provided by PTCRIS: 115730 Investigador LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal Center for Informatics and Information Technology - CITI, Portugal CRACS – Center for Research in Advanced Computing Systems, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2011/01/01 - 2013/12/31	Strategic Project - UI 527 - 2011-2012 PEst-OE/EEI/UI0527/2011 Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/01 - 2011/04	CALLAS (Calculi and Languages for Sensor Networks) grant.Provided by PTCRIS: 71462 Investigador LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal CRACS – Center for Research in Advanced Computing Systems, Portugal Center for Informatics and Information Technology - CITI, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/09 - 2010/06	VIRTU - Virtualization and Management of Application Appliances ADI-50 Co-Investigador Responsável (Co-IR) Center for Informatics and Information Technology - CITI, Portugal European Space Agency, França HP Labs, Estados Unidos Evolve Space Solutions, Portugal	Agência Nacional de Inovação SA Concluído
2003 - 2005/05	MIKADO - Mobile Calculi Based on Domains IST-2001-32222 Bolseiro de Doutoramento Inria Centre de Recherche Grenoble Rhone-Alpes, França France Telecom Recherche et Développement, França John Smith's University of Sussex, Reino Unido Università degli Studi di Firenze, Itália Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal	Concluído
1998/09 - 1999/09	MIMO - Models and Infra-Structure for Mobile Computation PRAXIS/2/2.1/TIT/1577/95 Bolseiro de Mestrado Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal	Fundação para a Ciência e a Tecnologia Concluído

Produções

Publicações

Artigo em conferência	Marco Giunti; Hervé Paulino; António Ravara. "Anticipation of Method Execution in Mixed Consistency Systems". Trabalho apresentado em ACM/SIGAPP Symposium on Applied Computing (SAC 2023), 2023. Publicado • 10.1145/3555776.3577725 David Neves; Hervé Paulino. "Condition-based synchronization in data-centric concurrency control". Trabalho apresentado em ACM/SIGAPP Symposium on Applied Computing (SAC 2022), 2022. Publicado • 10.1145/3477314.3507120 Nuno Coelho; Diogo Ribeiro; Hervé Paulino. "Sage: A Multiuser Cooperative Controller for Mobile Edge Systems". Trabalho apresentado em EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2022), 2022. Publicado • 10.1007/978-3-031-34776-4_17 João Dias; João A. Silva; Hervé Paulino. "Adaptive Replica Selection in Mobile Edge Environments". Trabalho apresentado em EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2021), 2021. Publicado • 10.1007/978-3-030-94822-1_14 António Teófilo; João M. Lourenço; Hervé Paulino. "RedMesh: A wifi-direct network formation algorithm for large-scale scenarios". Trabalho apresentado em EAI International Conference Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2020), 2020. Publicado • 10.1145/3448891.3448937 João A. Silva; Pedro Vieira; Paulino, Hervé. "Data Storage and Sharing for Mobile Devices in Multi-region Edge Networks". Trabalho apresentado em IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks (WoWMoM 2020), 2020. Publicado • 10.1109/WoWMoM49955.2020.00021 Guilherme Santos; Hervé Paulino; Tomé Vardasca. "QoE-aware auto-scaling of heterogeneous containerized services (and its application to health services)". Trabalho apresentado em The ACM/SIGAPP Symposium on Applied Computing (SAC 2020), 2020. Publicado • 10.1145/3341105.3373915 Pedro Sanches; João A. Silva; António Teófilo; Hervé Paulino. "Data-Centric Distributed Computing on Networks of Mobile Devices". Trabalho apresentado em International European Conference on Parallel and Distributed Computing (Euro-Par 2020), 2020. Publicado • 10.1007/978-3-030-57675-2_19 João A. Silva; Hervé Paulino; João M. Lourenço; João Leitão; Nuno Preguica. "Time-aware reactive storage in wireless edge environments". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2019), 2019. Publicado • 10.1145/3360774.3360828 Paulo Ferrão; Hélder Marques; Hervé Paulino. "Stream Processing on Hybrid CPU/Intel® Xeon Phi Systems". Trabalho apresentado em International European Conference on Parallel and Distributed Computing (Euro-Par 2028), 2018. Publicado • 10.1007/978-3-319-96983-1_56 António Teófilo; Diogo Remédios; João M. Lourenço; Paulino, Hervé. "GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017), 2017. Publicado • 10.4108/eai.7-11-2017.2273780 Filipe Cerqueira; João Silva; João M. Lourenço; Paulino, Hervé. "Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis". Trabalho apresentado em INForum 2017 - Simpósio de Informática (Portuguese National Informatics Conference), Aveiro, 2017. Publicado Pedro Sanches; António Teófilo; Filipe Cerqueira; João Silva; Paulino, Hervé. Autor correspondente: Paulino, Hervé. "Computação Distribuída em Redes Formadas por Dispositivos Móveis". Trabalho apresentado em INForum 2017 - Simpósio de Informática (Portuguese National Informatics Conference), Aveiro, 2017. Publicado Cerqueira, F.; Silva, J.A.; Lourenço, J.M.; Paulino, H.. "Towards a persistent publish/subscribe system for networks of mobile devices". Trabalho apresentado em 2nd Workshop on Middleware for Edge Clouds & Cloudlets (MECC@Middleware 2017), 2017. Publicado • 10.1145/3152360.3152362 António Teófilo; Diogo Remédios; Paulino, Hervé; João M. Lourenço. "Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct". Trabalho apresentado em INForum 2016 - Simpósio de Informática (Portuguese National Computing Conference), Lisbon, 2016. Publicado Silva, J.A.; Leitão, J.; Preguiça, N.; Lourenço, J.M.; Paulino, H.. "Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access". Trabalho apresentado em 1st Workshop on Middleware for Edge Clouds & Cloudlets (MECC@Middleware 2016), 2016. Publicado • 10.1145/3017116.3022873 Paulino, H.; Parreira, D.; Delgado, N.; Ravara, A.; Matos, A.. "From Atomic variables to data-centric concurrency control". Trabalho apresentado em ACM/SIGAPP Symposium on Applied Computing (SAC 2016), 2016. Publicado • 10.1145/2851613.2851734 Magro, D.; Paulino, H.. "In-cache MapReduce: Leverage tiling to boost temporal locality-sensitive MapReduce computations". Trabalho apresentado em IEEE International Conference on Cluster Computing (CLUSTER 2016), 2016. Publicado • 10.1109/CLUSTER.2016.33 Silva, J.A.; Monteiro, R.; Paulino, H.; Lourenço, J.M.. "Ephemeral data storage for networks of hand-held devices". Trabalho apresentado em IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2016), 2016. Publicado • 10.1109/TrustCom.2016.0182 Ricardo Monteiro; João A Silva; João M. Lourenço; Paulino, Hervé. "Armazenamento Distribuído para Redes de Dispositivos Móveis". Trabalho apresentado em INForum 2015 - 7º Simpósio de Informática (Portuguese National Informatics Conference), Covilhã, 2015. Publicado Ricardo Monteiro; João Silva; João Lourenço; Paulino, Hervé. "Decentralized Storage for Networks of Hand-held Devices". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015. Publicado • 10.4108/eai.22-7-2015.2260263 António Teófilo; Diogo Remédios; Hervé Paulino; João Lourenço. "Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015. Publicado • 10.4108/eai.22-7-2015.2260272 Silva, João A.; Lourenço, João M.; Paulino, Hervé. "Boosting locality in multi-version partial data replication". Trabalho apresentado em ACM/SIGAPP Symposium on Applied Computing (SAC 2015), 2015. Publicado • 10.1145/2695664.2695851 João A. Silva; Tiago M. Vale; Ricardo J. Dias; Paulino, Hervé; João M. Lourenço. "Supporting Multiple Data Replication Models in Distributed Transactional Memory". Trabalho apresentado em International Conference on Distributed Computing and Networking (ICDCN 2015), 2015. Publicado • 10.1145/2684464.2684481 Diogo Remédios; António Teófilo; Paulino, Hervé; João Lourenço. "Mobile device-to-device distributed computing using data sets". Trabalho apresentado em EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2015), 2015. Publicado • 10.4108/icst.mobiquitous.2015.260273 João A. Silva; Paulino, Hervé; João M. Lourenço. "Crowd-sourcing Mobile Devices to Provide Storage in Edge-Clouds". Trabalho apresentado em Doctoral Symposium of the International Conference on Distributed Computing and Networking, 2015. Publicado João M. Lourenço; Paulino, Hervé. "Supporting Partial Data Replication in Distributed Transactional Memory". Trabalho apresentado em Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems, Vienna, 2014. Publicado Fernando Alexandre; Ricardo Marques; Hervé Paulino. "On the support of task-parallel algorithmic skeletons for multi-GPU computing". Trabalho apresentado em ACM/SIGAPP Symposium on Applied Computing (SAC 2014), 2014. Publicado • 10.1145/2554850.2555018 Soldado, F.; Alexandre, F.; Paulino, Hervé. "Towards the transparent execution of compound openCL computations in multi-CPU/multi-GPU environments". Trabalho apresentado em International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar@Euro-Par 2014), 2014. Publicado • 10.1007/978-3-319-14325-5_16 João M. Lourenço; Paulino, Hervé; João Silva. "Um Mecanismo de Caching para o Protocolo SCORe". Trabalho apresentado em INForum 2014 - Simpósio de Informática (Portuguese National Informatics Conference), Porto, 2014. Publicado João Silva; João M. Lourenço; Hervé Paulino. "Replicação Parcial com Memória Transacional Distribuída". Trabalho apresentado em INForum 2014 - Atas do 6º Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013. Publicado Nuno Delgado; Paulino, Hervé. "Uma Abordagem Sistema para o Paralelismo Hierárquico em Arquitecturas Multi-core". Trabalho apresentado em INForum 2013 - Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013. Daniel Parreira; Paulino, Hervé. "Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados". Trabalho apresentado em INForum 2013 - Atas do 5º Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013. Publicado Fernando Alexandre; Ricardo Marques; Paulino, Hervé. "Esqueletos Algorítmicos para Paralelismo de Tarefas em Sistemas Multi-GPU". Trabalho apresentado em INForum 2013 - Simpósio de Informática (Portuguese National Informatics Conference), Évora, 2013. Publicado Marques, R.; Paulino, Hervé; Alexandre, F.; Medeiros, P.D.. "Algorithmic skeleton framework for the orchestration of GPU computations". Trabalho apresentado em International European Conference on Parallel and Distributed Computing (Euro-Par 2013), 2013. Publicado • 10.1007/978-3-642-40047-6_86 Nuno Delgado; Paulino, Hervé. "Sobre um Mecanismo de Controlo de Concorrência baseado em Grupos de Recursos". Trabalho apresentado em INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012. Publicado Ricardo Marques; Hervé Paulino; Pedro Medeiros. "Desenho e Implementação de uma Biblioteca de Padrões Algorítmicos para GPGPU". Trabalho apresentado em INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012. Publicado Gomes, M.C.; Paulino, Hervé; Baptista, A.; Araújo, F.. "Dynamic interaction models for web enabled wireless sensor networks". Trabalho apresentado em IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), 2012. Publicado • 10.1109/ISPA.2012.120 Saramago, J.; Mourao, D.; Paulino, H.. "Towards an adaptable middleware for parallel computing in heterogeneous environments". Trabalho apresentado em The 2012 International Workshop on Power and QoS Aware Computing (PQoSCom@CLUSTER 2012), 2012. Publicado • 10.1109/ClusterW.2012.36 Marques, Eduardo; Paulino, Herve. "Single Operation Multiple Data - Data Parallelism at Subroutine Level". Trabalho apresentado em IEEE International Conference on High Performance Computing and Communication (HPCC 2012), 2012. Publicado • 10.1109/hpcc.2012.42 Paulino, H.; Camacho, G.. "Enhancing service-oriented computing with software mobility". Trabalho apresentado em International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2012), 2012. Publicado • 10.1007/978-3-642-33078-0_35 Baptista, A.; Gomes, M.C.; Paulino, H.. "Session-based dynamic interaction models for stateful web services". Trabalho apresentado em International Conference on Exploring Services Science (IESS 2012), 2012. Publicado • 10.1007/978-3-642-28227-0-3 Filipe Araújo; Maria Cecília Farias Lorga Gomes; Paulino, Hervé. "Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web". Trabalho apresentado em INForum 2012 - Simpósio de Informática (Portuguese National Informatics Conference), Caparica, 2012. Publicado Adérito Baptista; Maria Cecília Farias Lorga Gomes; Hervé Paulino. "Reconfiguração Dinâmica de Modelos de Interação para Redes de Sensores". Trabalho apresentado em INFORUM 2011 - Simpósio de Informática (Portuguese National Informatics Conference), Coimbra, 2011. Publicado Paulino, H.; Santos, J.R.. "A middleware framework for the web integration of sensor networks". Trabalho apresentado em International ICST Conference on Sensor Systems and Software (S-Cube 2010), 2010. Publicado • 10.1007/978-3-642-23583-2_6 Paulino, Hervé; Martins, J.A.; Lourenço, J.; Duro, N.. "SmART: An application reconfiguration framework". Trabalho apresentado em International Conference on Complex System Design & Management (CSDM 2010), 2010. Publicado • 10.1007/978-3-642-15654-0_5 Paulino, H.; Cancela, P.; Franco, T.. "A platform-centric framework for the web exposure and orchestration of distributed objects". Trabalho apresentado em International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010), 2010. Publicado • 10.1109/PDCAT.2010.85 Duro, N.; Santos, R.; Lourenço, J.; Paulino, H.; Martins, J.. "Open virtualization framework for testing Ground Systems". Trabalho apresentado em Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), 2010. Publicado • 10.1145/1866210.1866217 Paulino, H.. "On the definition of service abstractions for parallel computing". Trabalho apresentado em 8th International Conference Parallel Processing and Applied Mathematics (PPAM 2009), 2009. Publicado • 10.1007/978-3-642-14403-5_9 Paulino, Hervé; Cancela, P.; Franco, T.. "Orchestration of middleware services". Trabalho apresentado em International Symposium Distributed Objects, Middleware, and Applications (DOA 2009), 2009. Publicado • 10.1007/978-3-642-05290-3_1 Paulino, H.; Tavares, C.. "SeDeUse: A model for service-oriented computing in dynamic environments". Trabalho apresentado em Second International Conference on Mobile Wireless Middleware, Operating Systems, and Applications (Mobilware 2009), 2009. Publicado • 10.1007/978-3-642-01802-2_12 Paulino, H.. "SuMo: A framework for prototyping distributed and mobile software". Trabalho apresentado em International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2008), 2008. Publicado • 10.1007/978-3-540-69501-1_29 Paulino, H.. "Reliable communication in the presence of agent mobility". Trabalho apresentado em 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007. Publicado • 10.1109/ISCC.2007.4381559 Paulino, Hervé. "Mobile Service Development and Deployment with Remotely Launched Service-Oriented Mobile Agents". Trabalho apresentado em International Conference on Mobile Data Management (MDM 2007), 2007. Publicado • 10.1109/mdm.2007.88 Paulino, Hervé; Lopes, Luís. "A service-oriented language for programming mobile agents". Trabalho apresentado em Fifth international joint conference on Autonomous agents and multiagent systems (AAMAS), 2006. Publicado • 10.1145/1160633.1160870 Paulino, H.; Lopes, L.. "A mobile agent service-oriented scripting language encoded on a process calculus". Trabalho apresentado em 7th Joint Modular Languages Conference on Modular Programming Languages (JMLC 2006), 2006. Publicado Paulino, H.; Lopes, L.; Silva, F.. "Mob: A scripting language for mobile agents based on a process calculus". Trabalho apresentado em International Conference on Web Engineering (ICWE 2003), 2003. Publicado Paulino, H.; Marques, P.; Lopes, L.; Vasconcelos, V.; Silva, F.. "A multi-threaded asynchronous language". Trabalho apresentado em 7th International Conference on Parallel Computing Technologies (PaCT 2003), 2003. Publicado • 10.1007/978-3-540-45145-7_29 Silva, F.; Paulino, H.; Lopes, L.. "Di_pSystem: A parallel programming system for distributed memory architectures". Trabalho apresentado em Recent Advances in Parallel Virtual Machine and Message Passing Interface (Euro PVM/MPI 1999), 1999. Publicado • 10.1007/3-540-48158-3_65
Artigo em revista	Paulino, Hervé; Almeida Matos, Ana; Cederquist, Jan; Giunti, Marco; Matos, João; Ravara, António. "AtomiS: Data-Centric Synchronization Made Practical". Proceedings of the ACM on Programming Languages 7 OOPSLA2 (2023): 116-145. http://dx.doi.org/10.1145/3622801. Publicado • 10.1145/3622801 António Barreto; Hervé Paulino; João A. Silva; Nuno Preguiça. "PS-CRDTs: CRDTs in highly volatile environments". Future Generation Computer Systems (2023): https://doi.org/10.1016/j.future.2022.12.013. Publicado • 10.1016/j.future.2022.12.013 Guilherme Rito; Hervé Paulino. "Scheduling computations with provably low synchronization overheads". Journal of Scheduling 25 1 (2022): 107-124. https://doi.org/10.1007/s10951-021-00706-6. Publicado • 10.1007/s10951-021-00706-6 João A. Silva; Filipe Cerqueira; Hervé Paulino; João M. Lourenço; João Leitão; Nuno Preguiça. "It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments". Future Generation Computer Systems 118 (2021): 14-36. https://doi.org/10.1016/j.future.2020.12.008. Publicado • 10.1016/j.future.2020.12.008 Hervé Paulino; Nuno Delgado. "Cache-conscious run-time decomposition of data parallel computations". The Journal of Supercomputing (2017): https://doi.org/10.1007%2Fs11227-016-1721-z. Publicado • 10.1007/s11227-016-1721-z Soldado, Fábio; Alexandre, Fernando; Paulino, Hervé. Autor correspondente: Paulino, Hervé. "Execution of compound multi-kernel OpenCL computations in multi-CPU/multi-GPU environments". Concurrency and Computation: Practice and Experience 28 3 (2015): 768-787. http://dx.doi.org/10.1002/cpe.3612. Publicado • 10.1002/cpe.3612 Paulino, Hervé; Marques, Eduardo. Autor correspondente: Paulino, Hervé. "Heterogeneous programming with Single Operation Multiple Data". Journal of Computer and System Sciences 81 1 (2015): 16-37. http://dx.doi.org/10.1016/j.jcss.2014.06.021. Publicado • 10.1016/j.jcss.2014.06.021 Maria Cecília Farias Lorga Gomes; Hervé Paulino; Adérito Baptista; Filipe Araújo. "Accessing wireless sensor networks via dynamically reconfigurable interaction models". International Journal of Interactive Multimedia and Artificial Intelligence 1 7 (2012): 52-61. https://novaresearch.unl.pt/en/publications/0150e075-a7ae-4f0a-a3e4-f5f400e105a2. Publicado • 10.9781/ijimai.2012.176 Paulino, H.; Lopes, L.. "A programming language for service-oriented computing with mobile agents". Software - Practice and Experience 38 7 (2008): 705-734. http://www.scopus.com/inward/record.url?eid=2-s2.0-43949111325&partnerID=MN8TOARS. Publicado • 10.1002/spe.842 Figueira, Á.R.; Paulino, H.; Lopes, L.; Silva, F.. "Distributed typed concurrent objects: A programming language for distributed computations with mobile resources". Journal of Universal Computer Science 9 8 (2003): 745-760. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844496715&partnerID=MN8TOARS. Publicado • 10.3217/jucs-009-08-0745
Capítulo de livro	Yoshida, Nobuko; Vasconcelos, Vasco; Paulino, Hervé; Honda, Kohei. "Session-Based Compilation Framework for Multicore Programming". In Formal Methods for Components and Objects, 226-246. Springer Berlin Heidelberg, 2009. Publicado • 10.1007/978-3-642-04167-9_12 Paulino, Hervé. "Abstract machine for service-oriented mobility". In Process Algebra for Parallel and Distributed Processing, 199-234. Chapman and Hall/CRC, 2008. Publicado Bettini, Lorenzo; De Nicola, Rocco; Falassi, Daniele; Lacoste, Marc; Lopes, Luís; Oliveira, Licínio; Paulino, Hervé; Vasconcelos, Vasco T.. "A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi". In Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, 179-207. Springer Berlin Heidelberg, 2005. Publicado • 10.1007/978-3-540-31794-4_10
Edição de livro	Rolando Martins; Hervé Paulino; Luís Veiga. MECC'19: Proceedings of the 4th Workshop on Middleware for Edge Clouds & Cloudlets. ACM - Association for Computing Machinery. 2019. Publicado • 10.1145/3366614 • Editor Rolando Martins; Paulino, Hervé; Luís Veiga. MECC'18: Proceedings of the 3rd Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2018. Publicado • 10.1145/3286685 • Editor Rolando Martins; Hervé Paulino; Luís Veiga. MECC '17: Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2017. Publicado • 10.1145/3152360 • Editor Hervé Paulino; Rolando Martins. MECC '16: Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets. Association for Computing Machinery, Inc. 2016. Publicado • 10.1145/3017116 • Editor Paulino, Hervé; Francisco Martins; Luís Lopes. Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers. Springer Berlin Heidelberg. 2012. Publicado • 10.1007/978-3-642-32778-0 • Editor
Poster em conferência	Pedro Medeiros; Hervé Paulino; Hélder Marques. "Plataforma Multi-Backend para a Programação do Processador Xeon Phi". Trabalho apresentado em INForum 2014 - Simpósio de Informática (Portuguese National Informatics Conference), 2014.
Recurso online	Giunti, Marco; Paulino, Hervé; Ravara, António; Almeida Matos, Ana; Jan Cederquist; João Matos. AtomiS-Coq : soundness of inference of atomicities. 2022. Artifact #61 has been accepted by the ECOOP 2022 Artifact Evaluation program committee. https://zenodo.org/record/6382015
Relatório	Giunti, Marco; Paulino, Hervé; Ravara, António. 2023. Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. https://arxiv.org/abs/2212.14651. Guilherme Rito; Hervé Paulino. 2018. Scheduling computations with provably low synchronization overheads. https://arxiv.org/abs/1810.10615. 10.48550/arXiv.1810.10615

Atividades

Apresentação oral de trabalho

	Título da apresentação	Nome do evento Anfitrião (Local do evento)
2017	Hyrax Project – Crowd-Sourcing Mobile Devices to Develop Edge Clouds	"Encontro Ciência 2017" conference (http://www. encontrociencia.pt/2017/programa/detalhesprograma/?dia=5). Fundação para a Ciência e Tecnologia (Lisbon, Portugal)

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2023 - 2023	Dynamic Content-based Indexing in Mobile Edge Networks Coorientador de José Duarte Farinha de Almeida	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023	Disseminação de metadados com diferentes garantias de ordenação Orientador de Luís Pedro Martins Chula	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023	Portable Diagnose IOT Device with Two Reaction Chambers Coorientador de Francisco Emídio Ribeiro	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2023 - 2023	Identifying Operation Commutativity in the Context of Replicated Systems Orientador de Rúben Alexandre Correia Vaz	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Grafos Dinâmicos em GPUs Orientador de Ricardo Jorge Rebelo Pereira Henriques Martinho	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Controlo de Concorrência Centrado nos Dados - Combinação de Locks com Memória Transacional Coorientador de Hugo Gil Azinheira Marques Pinto	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Armazenamento Reativo e Persisitente para Ambientes Mobile Edge Computing Orientador de Francisco Luís da Fonte Nunes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	A Cuda Backend for Marrow and its Optimisation Via Machine Learning Orientador de Pedro de Almeida Amaral Ramos Valente	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Extending, improving, and optimizing Marrow Orientador de Francisco José Sampaio de Freitas Cardoso	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Privacy and Secure Communications in Mobile Edge Computing Orientador de Hugo Alexandre Alves Afonso Lopes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2022 - 2022	Implementação do algoritmo Low-Cost Work Stealing para computações paralelas Orientador de Rafael Guerreiro Custódio	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013/12/01 - 2021/05/01	Data Storage and Dissemination in Pervasive Edge Computing Environments Coorientador de João André Almeida e Silva	Informática (Doutoramento) Universidade Nova de Lisboa, Portugal
2021 - 2021	Adaptive Replica Selection in Mobile Edge Networks Orientador de João Pedro Monteiro Morgado Dias	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021	A Framework for Turn-Based Local Multiplayer Games Orientador de Salúquia Cristina Dias Norte Marreiros	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021	Escalonamento inteligente de computações em ambientes híbridos CPU/GPU Orientador de Francisco Manuel Évora António	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021	Dynamic Content-based Indexing in Mobile Edge Networks Orientador de Cláudio Nuno Rodrigues Pereira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021	Ginger: A Transactional Middleware with Data and Operation Centric Mixed Consistency Orientador de Luís Miguel Dias Rocha	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021	GPU-Accelerated Approximate K- Nearest Neighbors over Unbound Datasets Orientador de Gonçalo Pedro Santos Lopes	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020	Real-Time Distributed Data Aggregation in Edge Systems Orientador de Nuno Gonçalo Sales Barreto das Neves Coelho	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014/10/01 - 2019/08/01	WiFi-Direct Internetworking Orientador de António Gelásio Frazão Isidro Teófilo	Informática (Doutoramento) Universidade Nova de Lisboa, Portugal
2017 - 2017	Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis Orientador de Filipe Alexandre Bandeira Cerqueira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2017 - 2017	Distributed Computing in a Cloud of Mobile Phones Orientador de Pedro Miguel Castanheira Sanches	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014	Heterogeneous Computing with an Algorithmic Skeleton Framework Orientador de Fábio Miguel Cardoso Soldado	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014	Towards an Algorithmic Skeleton Framework for Programming the Intel ® Xeon PhiTM Processor Orientador de Hélder de Almeida Marques	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014	A distributed platform for the volunteer execution of workflows on a local area network Orientador de Jaquilino Lopes Silva	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014	A System´s Approach to Cache Hierachy-Aware Decomposition of Data-Parallel Computations Orientador de Nuno Miguel de Brito Delgado	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2014 - 2014	Definição e Execução de Computações Dinâmicas numa Linguagem de Programação Orientada-a-Serviços Orientador de Paulo Renato Branco Dias	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013	Data-Centric Concurrency Control on the Java Programming Language Orientador de Daniel Luís Landeiroto Parreira	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013	Multi-GPU Support on the Morrow Algorithmic Skeleton Framework Orientador de Fernando Jorge Marques Alexandre	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2013 - 2013	Partial Replication in Distributed Software Transactional Memory Coorientador de João André Almeida e Silva	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012	Algorithmic Skeleton Framework for the Orchestration of GPU Computations Orientador de Ricardo Marques	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012	Reconfiguração Dinâmica Estruturada de Workflows de Serviços Web Coorientador de Filipe Araújo	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012	Um Middleware para Programação Paralela em Clusters of Multi-cores Orientador de João Saramago	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012	Single Operation Multiple Data - Paralelismo de Dado ao Nível da Subrotina Orientador de Eduardo Marques	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011 - 2012	Dynamic Adaptation of Interaction Models for Stateful Web Services Coorientador de Adérito Baptista	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010 - 2011	Um Middleware Independente da Plataforma para Computação Paralela Orientador de Diogo André Mourão	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010	Service-oriented Mobility of Java Code in Web Services-based Architectures Orientador de Gilberto Camacho	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009 - 2010	A Middleware for Service-oriented Computing in Dynamic Environments Orientador de Danilo Manmohanlal	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009	SmART An Application Reconfiguration Framework Coorientador de João André Martins	Engenharia Informática (Mestrado) Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009	Um Middleware para Acesso e Gestão de Redes de Sensores em Ambientes Web Orientador de João Ruivo Santos	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2008 - 2009	Orchestration of Heterogeneous Middleware Services and Its Application to a Command and Control Platform Orientador de Paulo Cancela	Engenharia Informática (Mestrado) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Organização de evento

	Nome do evento Tipo de evento (Tipo de participação)	Instituição / Organização
2018 - 2020	Chair of the Track "Mobile and Ubiquitous Computing" of the main Portuguese conference on computer science INForum - Simpósio de Informática (Portuguese National Informatics Conference) (2019 - 2020) Conferência (Coorganizador)	INForum - Simpósio de Informática, Portugal
2016 - 2019	Co-chair of the Workshop on Middleware for Edge Clouds & Cloudlets (MECC), collocated with conference ACM/IFIP/USENIX Middleware (2016 - 2019) Oficina (workshop) (Coorganizador)	Association for Computing Machinery, Estados Unidos
2014 - 2014	Local chair of International European Conference on Parallel and Distributed Computing (Euro-par 2014) (2014) Conferência (Coorganizador)	Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2012	Third International ICST Conference on Sensor Systems and Software (S-CUBE 2012) (2012 - 2012) Conferência (Membro da Comissão Organizadora)	Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bélgica
2012 - 2012	Track on "Internet of Things" of the main Portuguese conference on computer science INForum - Simpósio de Informática the main Portuguese conference on Computer Science). (2012 - 2012) Conferência (Membro da Comissão Organizadora)	INForum - Simpósio de Informática, Portugal

Participação em evento

	Descrição da atividade Tipo de evento	Nome do evento Instituição / Organização
2017 - 2017	Participation on a panel about "Edge computing" at the "CMU\|Portugal Symposium 2017" conference Simpósio	CMU\|Portugal Symposium 2017 Fundação para a Ciência e a Tecnologia, Portugal

Comissão de avaliação

	Descrição da atividade Tipo de assessoria	Instituição / Organização	Entidade financiadora
2016 - 2017	Member of PhD and postdoc evaluation panel Avaliador	Fundação para a Ciência e a Tecnologia, Portugal	Fundação para a Ciência e a Tecnologia
2016 - 2016	Assessment of the scientific outcomes of a FCT project Especialista	Fundação para a Ciência e a Tecnologia, Portugal	Fundação para a Ciência e a Tecnologia

Membro de comissão

	Descrição da atividade Tipo de participação	Instituição / Organização
2016 - 2020	Track on Operating Systems of ACM SAC Membro	Association for Computing Machinery, Estados Unidos
2019 - 2019	3rd International Conference in Engineering Applications (ICEA 2019) Membro	IEEE, Estados Unidos
2013 - 2017	Track on "Large-scale Distributed and Parallel Computing" of INForum - Simpósio de Informática (Portuguese National Informatics Conference) Membro	INForum - Simpósio de Informática, Portugal
2016 - 2016	International Meeting on High Performance Computing for Computational Science (VECPAR 2016) Membro
2013 - 2013	IEEE Symposium on Computers & Informatics Membro	IEEE, Estados Unidos
2012 - 2012	Agents in Health Care Workshop (AgentsCare 2012) Membro
2010 - 2011	Track on "Internet of Things" of INForum - Simpósio de Informática (Portuguese National Informatics Conference) Membro	INForum - Simpósio de Informática, Portugal

Distinções

Prémio

2022	Best Paper award at SAC 2022 for paper: David Neves; Hervé Paulino. "Condition-based synchronization in data-centric concurrency control". Paper presented in ACM/SIGAPP Symposium on Applied Computing (SAC 2022), 2022. DOI: 10.1145/3477314.3507120 Association for Computing Machinery, Estados Unidos

Outra distinção

2019	Grant of a Graphics Processing Unit by NVIDIA Corporation to support research on high-level GPU programming and real-time stream processing, NVIDIA Corp, Estados Unidos