|
BI para Licenciado em Área de Informática ou afim - Projeto: Sistemas de Tipos Avançados para Programação Multicore Bottom Up - FCUL |
|
Jueves, 09 de Agosto de 2012 17:00 |
|
Na Fundação da Faculdade de Ciências da Universidade de Lisboa, encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação (Grau Licenciado) no âmbito do projeto de I&D Sistemas de Tipos Avançados para Programação Multicore, Refª PTDC/EIA-CCO/122547/2010, financiado por fundos nacionais através da FCT/MCE (PIDDAC) no âmbito do Programa de Todos os Domínios Científicos - Concurso de 2010, nas seguintes condições:
Área Científica: Engenharia Informática - Ciências da Computação
Plano de trabalhos: A biblioteca MPI (Message Passing Interface) é o padrão para a programação paralela no paradigma ``message passing'', sendo empregada em computadores multi-processador que chegam a ter milhares de cores de processamento. A fiabilidade de programas que usam a MPI, escritos em C/C++ ou Fortran, é no entanto uma preocupação. O uso de compiladores tradicionais não oferece garantias a priori para uma série de propriedades na execução de programas, tais como bloqueio (deadlock),condições de corrida (race conditions), ou segurança de tipos (type safety), ou aderência a um protocolo de comunicações.
Para garantir estas propriedades em tempo de compilação, pretende-se com este trabalho, o desenvolvimento de módulos de verificação formal de programas C+MPI. Como abordagem geral, pretende-se ter em conta o paradigma de tipos de sessão (session types) e uma inferência dedutiva bottom-up sobre o código fonte de programas C+MPI. Para desenvolvimento, será necessário considerar o uso de ferramentas para verificação dedutiva e análise de programas C, ex. VCC ou CIL.
Local de trabalho: O trabalho será desenvolvido no LaSIGE - Laboratório de Sistemas Informáticos de Grande-Escala, alojado no Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, sob a orientação científica do Professor Doutor Eduardo Marques.Convocante:Universidade de Lisboa. Faculdade de Ciências Plazo:24 de agosto de 2012 Leer más:
|
Newsflash
|
Consejos de Harvard para mejorar la vida sexual - Nexofin |
| Consejos de Harvard para mejorar la vida sexual Nexofin Leer más: |
|
|
|
Pumas UNAM: Washington Corozo confiesa su admiración por Juan Pablo Vigón - Soy Futbol |
| Pumas UNAM: Washington Corozo confiesa su admiración por Juan Pablo Vigón Soy Futbol Leer más: |
|
|
|
|
Sponsor
Barcemex
Barcemex . Programación de Páginas Web & Mobile Marketing en México, Latinoamérica y España
¿Quién está en línea?
Tenemos 116 invitados conectado(s)
|