Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2011-25639

Financiado

MODELO DE GENERACION DE CODIGO PARALELO PORTABLE

EL CONTINUO DESARROLLO DE NUEVAS PLATAFORMAS Y ARQUITECTURAS QUE PERMITEN EXPLOTAR LA EJECUCION PARALELA HA DADO LUGAR A LA APARICION DE UNA GRAN VARIEDAD DE LENGUAJES Y MODELOS PRACTICOS DE PROGRAMACION. LA EXPLOTACION EFICIENTE... ver más

01/01/2011

UVA

12K€

Presupuesto del proyecto: 12K€

Líder del proyecto

UNIVERSIDAD DE VALLADOLID No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 995

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2011-01-01

0% 100%

Participantes

UVA

Lider

Proyectos interesantes

TIN2017-82972-R TECNICAS ALGORITMICAS PARA COMPUTACION DE ALTO RENDIMIENTO C... 218K€ Cerrado

ERC2018-092826 SINCRONIZACION EFICIENTE EN ARQUITECTURAS MULTINUCLEO 75K€ Cerrado

VAPLCS Verification Aware Programming Language Concurrency Semantic... 1M€ Cerrado

TIN2014-58876-P PROGRAMACION HOMOGENEA PARA ARQUITECTURAS HETEROGENEAS 28K€ Cerrado

TIN2008-06570-C04-01 CONSTRUCCION Y OPTIMIZACION AUTOMATICAS DE BIBLIOTECAS PARAL... 202K€ Cerrado

TIN2013-42253-P ARQUITECTURAS, COMPILADORES Y APLICACIONES EN MULTIPROCESADO... 208K€ Cerrado

Últimas noticias

02-12-2024: AGENCIA-VALENCIANA-D... En las últimas 48 horas el Organismo AGENCIA VALENCIANA D... ha otorgado 1 concesiones

02-12-2024: CDTI En las últimas 48 horas el Organismo CDTI ha otorgado 4 concesiones

01-12-2024: REDES En las últimas 48 horas el Organismo REDES ha otorgado 1337 concesiones

Líder del proyecto

UNIVERSIDAD DE VALLADOLID

Total investigadores 995

Presupuesto del proyecto 12K€

Descripción del proyecto EL CONTINUO DESARROLLO DE NUEVAS PLATAFORMAS Y ARQUITECTURAS QUE PERMITEN EXPLOTAR LA EJECUCION PARALELA HA DADO LUGAR A LA APARICION DE UNA GRAN VARIEDAD DE LENGUAJES Y MODELOS PRACTICOS DE PROGRAMACION. LA EXPLOTACION EFICIENTE DE CADA PLATAFORMA EXIGE AL PROGRAMADOR UTILIZAR PARADIGMAS Y TECNICAS DE PROGRAMACION Y OPTIMIZACION ESPECIFICAS, CODIFICANDO DE FORMA DEPENDIENTE DE LA PLATAFORMA EN LA QUE SE EJECUTA EL CODIGO. LOS INTENTOS PASADOS DE PLANTEAR MODELOS PUENTE (BRIDGING MODELS), ENTRE EL MODELO DE PROGRAMACION Y EL MODELO DE ARQUITECTURA, HAN DEMOSTRADO SER DEMASIADO RESTRINGIDOS O COMPLEJOS A LA HORA DE EXPRESAR ALGORITMOS PARALELOS GENERICOS, O DEMASIADO LEJANOS DE LAS ARQUITECTURAS REALES COMO PARA SISTEMATIZAR LA IMPLEMENTACION EFICIENTE.EN ESTE PROYECTO SE EXPLORARA LA CONSTRUCCION DE SISTEMAS DE GENERACION DE CODIGO PARALELO EFICIENTE, GUIADOS POR CARACTERISTICAS DE LA PLATAFORMA DE EJECUCION OBJETIVO. PARA ELLO SE DEFINIRA UN MODELO PUENTE BASADO EN PARALELISMO ANIDADO QUE PERMITA DEFINIR UN CRITERIO DE COMPUTABILIDAD Y UN CALCULO DE COMPLEJIDAD REALISTA Y PRACTICO. EN ESTE PROYECTO SE ESTUDIARAN Y ASENTARAN BASES TEORICAS PARA LA INTEGRACION DE TECNICAS PARTICULARES Y EL DESARROLLO SISTEMATICO DE LENGUAJES DE PROGRAMACION PARALELA REALMENTE PORTABLES. ARALELISMO\COMPILACION ADAPTATIVA\MODELOS DE PROGRAMACION

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores