Cibernetia > Tesis doctorales
Búsqueda personalizada

Índice > MATEMATICAS > CIENCIA DE LOS ORDENADORES >

LENGUAJES DE PROGRAMACION, 5



102 tesis en 6 páginas: 1 | 2 | 3 | 4 | 5 | 6
  • ANALISIS SEMANTICO Y TRANSFORMACION DE PROGRAMAS LOGICO-FUNCIONALES .
    Autor: VIDAL ORIOLA GERMAN.
    Año: 1995.
    Universidad: POLITECNICA DE VALENCIA.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: SISTEMAS INFORMATICOS Y COMPUTACION PROGRAMA DE DOCTORADO: INGENIERIA DE LA PROGRAMACION E INFORMATICA INDUSTRIAL.
    Resumen: EL PROBLEMA DE LA INTEGRACION DE LA PROGRAMACION LOGICA Y FUNCIONAL ESTA CONSIDERADO COMO UNO DE LOS MAS IMPORTANTES EN EL AREA DE INVESTIGACION SOBRE PROGRAMACION DECLARATIVA. PARA QUE LOS LENGUAJES DECLARATIVOS SEAN UTILES Y PUEDAN UTILIZARSE EN APLICACIONES REALES, ES NECESARIO QUE EL GRADO DE EFICIENCIA DE SU EJECUCION SE APROXIME AL DE LOS LENGUAJES IMPERATIVOS, TAL Y COMO SE HA CONSEGUIDO CON EL LENGUAJE PROLOG. PARA ELLO, ES IMPRESCINDIBLE EL DESARROLLO DE HERRAMIENTAS POTENTES PARA EL ANALISIS Y TRANSFORMACION DE LOS PROGRAMAS, CAPACES DE OPTIMIZAR LAS IMPLEMENTACIONES EXISTENTES. EN ESTA TESIS SE DESARROLLA UN MARCO PARA EL ANALISIS ESTATICO DE PROGRAMAS LOGICO-FUNCIONALES, BASADO EN LA IDEA DE CONSTRUIR APROXIMACIONES CORRECTAS DE LA SEMANTICA OPERACIONAL DEL PROGRAMA. FORMALIZAMOS UN ESQUEMA DE ANALISIS SIMPLE, UNIFORME Y FLEXIBLE, QUE PERMITE ESTUDIAR DISTINTOS TIPOS DE PROPIEDADES (RELACIONADAS CON EL CONJUNTO DE RESPUESTAS COMPUTADAS POR EL PROGRAMA) DE MANERA CORRECTA Y FACILMENTE IMPLEMENTABLE. POSTERIORMENTE MOSTRAMOS QUE, EN EL CONTEXTO DE LOS LENGUJAES LOGICO-FUNCIONALES, LA ESPECIALIZACION DE PROGRAMAS SE PUEDE BASAR DIRECTAMENTE EN EL MECANISMO OPERACIONAL DE "NARROWING" QUE, DEBIDO A LA PROPAGACION BIDIRECCIONAL DE PARAMETROS REALIZADA A TRAVES DEL PROCEDIMIENTO DE UNIFICACION, ES CAPAZ DE PRODUCIR OPTIMIZACIONES APRECIABLES ESTA VISION UNIFICADA DE EJECUCION Y ESPECIALIZACION NOS PERMITE EXPLOTAR LAS CONTRIBUCIONES DE AMBOS CAMPOS, FUNCIONAL Y LOGICO, Y DESARROLLAR UN ESQUEMA SIMPLE Y POTENTE PARA MEJORAR EL PROGRAMA ORIGINAL RESPECTO A SU CAPACIDAD PARA COMPUTAR RESPUESTAS. EL ESQUEMA PRESENTADO EN ESTE TRABAJO CONSTITUYE LA PRIMERA APROXIMACION TOTALMENTE AUTOMATICA, CORRECTA Y FINITA PARA LA EVALUACION PARCIAL DE PROGRAMAS LOGICO-FUNCIONALES.
  • TECNICAS DE TRANSFORMACION DE PROGRAMAS LOGICOS PARA SU OPTIMIZACION Y PARALELIZACION AUTOMATICA .
    Autor: BUENO CARRILLO FRANCISCO.
    Año: 1994.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.
    Resumen: LA TESIS PROPONE TRANSFORMACIONES DE PROGRAMAS LOGICOS QUE TIENEN POR OBJETIVO SU OPTIMIZACION MEDIANTE LA EXPLOTACION DEL PARALELISMO EN SU EJECUCION. SE ESTUDIA EL METODO CONSISTENTE EN AUNAR EL ANALISIS Y LA TRANSFORMACION DE LOS PROGRAMAS, Y SE EMPLEAN COMO PRINCIPIO OPTIMIZADOR DISTINTAS NOCIONES DE INDEPENDENCIA. LA TESIS COMIENZA CON EL ESTUDIO, PRIMERO METODOLOGICO Y LUEGO EXPERIMENTAL, DE ALGORITMOS DE TRANSFORMACION PREVIAMENTE PROPUESTOS, PARA LA PARALELIZACION A NIVEL DE META. EL ESTUDIO IDENTIFICA Y PROPONE POSIBLES EXTENSIONES A LOS ALGORITMOS, ASI COMO OTROS NUEVOS, COMPARANDOLOS MEDIANTE UNA SERIE DE PRUEBAS EXPERIMENTALES. A CONTINUACION SE DISCUTE LA APLICABILIDAD DEL METODO A FORMAS MAS EVOLUCIONADAS DE LA PROGRAMACION LOGICA, CUALES SON LA PROGRAMACION LOGICA CONCURRENTE, CON RESTRICCIONES, Y CONCURRENTE CON RESTRICCIONES. EN PRIMER LUGAR, SE PRESENTA UN ESQUEMA DE TRANSFORMACION DE PROGRAMAS PROLOG A PROGRAMAS AKL, EL CUAL INCORPORA TECNICAS QUE PERMITEN EXPLOTAR EL PARALELISMO (BASADO EN INDEPENDENCIA) DE FORMA COMPLETA EN EL LENGUAJE DESTINO. EN UNA SEGUNDA PARTE DE LA TESIS, SE DESARROLLA UNA SEMANTICA FORMAL CAPAZ DE EXPRESAR EL SIGNIFICADO OPERACIONAL DE PRACTICAMENTE TODA LA FAMILIA DE LOS LENGUAJES LOGICOS. ESTA SEMANTICA PERMITE CAPTAR EL CONCEPTO DE INDEPENDENCIA A NIVELES DE GRANULARIDAD MUCHO MAS FINOS QUE EL CLASICO NIVEL DE META, LO CUAL DA PIE A IDENTIFICAR POSIBLES OPTIMIZACIONES APLICABLES A LOS PROGRAMAS LOGICOS, DE UNO Y OTRO TIPO, A NIVELES COMPLETAMENTE NUEVOS EN EL COMPUTO. PARA SACAR PARTIDO DE TALES OPTIMIZACIONES, SE DEFINEN ESQUEMAS DE TRANSFORMACION A UN LENGUAJE DESTINO "KERNEL" QUE HACEN POSIBLE LA EXPLOTACION DE LAS MISMAS.
  • DRL: UN LENGUAJE LOGICO PARA SISTEMAS DISTRIBUIDOS DE TIEMPO REAL .
    Autor: DIAZ RODRIGUEZ MANUEL.
    Año: 1994.
    Universidad: MALAGA.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMA DE DOCTORADO: TECNOLOGIA DE LA INFORMACION Y LAS COMUNICACIONES.
    Resumen: LA TESIS SE ENMARCA EN EL AMBITO DE LOS LENGUAJES LOGICOS CONCURRENTES Y SU UTILIZACION COMO TECNICA DE DESCRIPCION FORMAL PARA SISTEMAS DISTRIBUIDOS DE TIEMPO REAL. EN EL TRABAJO SE PRESENTA UN LENGUAJE LOGICO CONCURRENTE, ESPECIALMENTE DISEÑADO PARA SU EJECUCION EN ENTORNOS DISTRIBUIDOS DEBILMENTE ACOPLADOS Y QUE INCORPORA CARACTERISTICAS DE TIEMPO REAL. EN EL DISEÑO DEL LENGUAJE SE TIENEN EN CUENTA TANTO ASPECTOS DE IMPLEMENTACION COMO ASPECTOS FORMALES. ASI, EL COMPORTAMIENTO DE DRL VIENE DADO POR LA DEFINICION DE UNA SEMANTICA OPERACIONAL BASADA EN UN SISTEMA DE TRANSICIONES. ESTA SEMANTICA SE UTILIZA COMO BASE DE LA DEFINICION DE UNA NUEVA MAQUINA ABSTRACTA PARA LA EJECUCION DISTRIBUIDA DEL LENGUAJE. SU IMPLEMENTACION SE HA REALIZADO SOBRE UN ENTORNO DISTRIBUIDO DE ESTACIONES DE TRABAJO.
  • LOGICA TEMPORAL Y DEMOSTRACION AUTOMATICA DE TEOREMAS. EFICIENCIA Y PARALELISMO .
    Autor: ENCISO GARCIA OLIVEROS MANUEL.
    Año: 1994.
    Universidad: MALAGA.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA PROGRAMA DE DOCTORADO: TECNOLOGIA DE LA INFORMACION Y LAS COMUNICACIONES.
    Resumen: ESTE TRABAJO SE ENMARCA EN LA DEMOSTRACION AUTOMATICA DE TEOREMAS EN LOGICA MODAL Y, MAS CONCRETAMENTE EN LA LOGICA MODAL TEMPORAL. SU OBJETIVO ES HACER DE LA LOGICA MODAL TEMPORAL UNA HERRAMIENTA UTIL Y ATRACTIVA PARA LAS CIENCIAS DE LA COMPUTACION, CONSIGUIENDO UN TRATAMIENTO SEMANTICO ADECUADO Y DEMOSTRADORES AUTOMATICOS QUE MEJOREN LA EFICIENCIA DE LOS YA EXISTENTES. EN ESTE TRABAJO SE INTRODUCEN LOS METODOS TAS-KT+ Y TAS-FNEXT QUE SON DEMOSTRADORES AUTOMATICOS DE TEOREMAS PARA EL FRAGMENTO DE FUTURO DE LA LOGICA MINIMAL KT Y DE LA LOGICA TEMPORAL LINEAL PARA TIEMPO DISCRETO E INFINITO RESPECTIVAMENTE. AMBOS METODOS SON METODOS POR REFUTACION Y DE CONSTRUCCION DE MODELOS Y TIENEN LAS SIGUIENTES CARACTERISTICAS: - ESTAN FUERTEMENTE BASADOS EN LA ESTRUCTURA DEL ARBOL SINTACTICO DE LA FORMULA. - FUNCIONAN POR APLICACION PROGRESIVA DE UNA SERIE DE TRANSFORMACIONES. DICHAS TRANSFORMACIONES SON TODAS DE COMPLEJIDAD A LO SUMO POLINOMICA SALVO LA ULTIMA DE ELLAS, QUE SOPORTA EL PESO EXPONENCIAL DEL PROBLEMA. - LAS TRANSFORMACIONES SON DE DOS TIPOS: TRANSFORMACIONES DE EQUIVALENCIA Y TRANSFORMACIONES QUE CONSERVAN LA SATISFACIBILIDAD. EL OBJETIVO DE ESTAS TRANSFORMACIONES ES CONSEGUIR REDUCIR EL TAMAÑO DE LA FORMULA ANTES DE APLICAR LA ULTIMA DE ELLAS (INCLUSO EVITANDO SU APLICACION SI ES POSIBLE). ESTE OBJETIVO SE CONSIGUE COMBINANDO INFORMACION SINTACTICA Y SEMANTICA QUE PERMITE DETECTAR SUBFORMULAS VALIDAS, INSATISFACIBLES O EQUIVALENTES A OTRAS MAS SENCILLAS. LOS METODOS TRABAJAN SOBRE FORMULAS DE LA LOGICA MODAL TEMPORAL SIN NINGUN TRATAMIENTO SINTACTICO PREVIO; ES DECIR, SIN PRODUCIR UNA NORMALIZACION DE LAS EXPRESIONES COMO EN LOS METODOS BASADOS EN RESOLUCION.
  • DRAGO: UN LENGUAJE PARA PROGRAMAR APLICACIONES DISTRIBUIDAS TOLERANTES A FALLOS Y COOPERATIVAS .
    Autor: MIRANDA GONZALEZ FRANCISCO JAVIER.
    Año: 1994.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INGENIEROS DE TELECOMUNICACION.
    Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.
    Resumen: DRAGO ES UN LENGUAJE EXPERIMENTAL DESARROLLADO PARA SOPORTAR LA IMPLEMENTACION DE APLICACIONES DISTRIBUIDAS ESTATICAS COOPERATIVAS Y TOLERANTES A FALLOS. EL MODELO DE PROGRAMACION DE DRAGO SE BASA EN EL PARADIGMA DE GRUPOS, Y SOPORTA DOS ABSTRACCIONES DE GRUPO: ABSTRACCION DE GRUPO REPLICADO, QUE PERMITE IMPLEMENTAR APLICACIONES TOLERANTES A FALLOS MEDIANTE REDUNDANCIA MODULAR, Y ABSTRACCION DE GRUPO COOPERATIVO, QUE PROPORCIONA SOPORTE PARA IMPLEMENTAR UN CONJUNTO DE MIEMBROS DISTRIBUIDOS QUE COOPERAN PARA CONSEGUIR UN OBJETIVO COMUN. DRAGO PROPORCIONA ESTAS ABSTRACCIONES MEDIANTE LA ESPECIFICACION DE GRUPO. UNA ESPECIFICACION DE GRUPO CONTIENE DECLARACIONES DE CONSTANTES, TIPOS, EXCEPCIONES Y PUNTOS DE ENTRADA REMOTOS. TODO MIEMBRO DE UN GRUPO TIENE VISIBLE TODAS LAS DECLARACIONES CONTENIDAS EN LA ESPECIFICACION DE ELLA (MEDIANTE PUNTOS DE ENTRADA REMOTOS).
  • LOGICA PARCIAL TRIVALORADA. APROXIMACIONES DE PRIMER ORDEN, DE ORDEN SUPERIOR E INTUICIONISTA .
    Autor: LUCIO CARRASCO FRANCISCA.
    Año: 1993.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: MATEMATICAS .
    Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.
    Resumen: SE EXTIENDE LA LOGICA DE PRIMER ORDEN CLASICA, DE FORMA CONSERVADORA, A UNA LOGICA TRIVALORADA PL CORRECTA Y COMPLETA CON RESPECTO A UNA SEMANTICA FORMALMENTE DEFINIDA. PL PERMITE EL RAZONAMIENTO ACERCA DE FUNCIONES PARCIALES NO ESTRICTAS DE PRIMER ORDEN, Y ACERCA DEL GRADO DE DEFINICION DE OBJETOS DE TIPO BASICO, LO QUE, EN PARTICULAR, PERMITE EL RAZONAMIENTO ACERCA DE GENEROS CON OBJETOS INFINITOS. PL ES EXTENDIDA, POR EXTENSION SIMPLE, A UNA LOGICA TRIVALORADA DE ORDEN SUPERIOR HOPL. HOPL INCORPORA UN -CALCULO SIMPLEMENTE TIPIFICADO, Y ES CORRECTA Y COMPLETA CON RESPECTO A UNA SEMANTICA DE PRIMER ORDEN BASADA EN LA NOCION DE -MODELO. HOPL PERMITE RAZONAR ACERCA DE FUNCIONES PARCIALES NO ESTRICTAS DE CUALQUIER ORDEN, Y DEL GRADO DE DEFINICION DE OBJETOS FUNCIONALES DE CUALQUIER ORDEN. TANTO PL COMO HOPL SON DOTADAS DE SENDOS METODOS DE TABLEAUX REFUTACIONALMENTE CORRECTOS Y COMPLETOS. ADEMAS DICHOS METODOS DE TABLEAUX SIRVEN DE BASE A UNA METODOLOGIA QUE NOS PERMITE OBTENER CALCULOS DE SECUENCIAS CORRECTOS Y COMPLETOS. SE DISEÑAN CALCULOS DE SECUENCIAS, PARA PL Y HOPL, CON UNA UNICA REGLA NO ACEPTABLE DESDE EL PUNTO DE VISTA INTUICIONISTA (LA REGLA DE REDUCCION AL ABSURDO). SE MUESTRA COMO PL Y HOPL PUEDEN SER UTILIZADAS PARA ESPECIFICAR Y PROBAR PROPIEDADES DE TIPOS DE DATOS LIBREMENTE GENERADOS POR CONSTRUCTORAS DE PRIMER ORDEN, DANDO UN ESQUEMA GENERAL DE ESPECIFICACION QUE CARACTERIZA AL MODELO INICIAL DE UN CONJUNTO DE INECUACIONES DESCRIBIENDO LAS CONDICIONES DE ESTRICTICIDAD DE SUS CONSTRUCTORAS. SE DEFINE UNA SEMANTICA INTUICIONISTA ESTILO-KRIPKE CON RESPECTO A LA CUAL LA LOGICA IPL, QUE SE OBTIENE ELIMINANDO EN PL LA REGLA DE REDUCCION AL ABSURDO ES CORRECTA Y COMPLETA. SE FORMULA UN METODO DE TABLEAUX INTUICIONISTAS REFUTACIONALMENTE CORRECTO Y COMPLETO PARA IPL. BASANDOSE EN EL, SE PRUEBA LA COMPLETITUD DEL CALCULO INTUICIONISTA. SE FORMULA UN METODO GENERAL PARA PROBAR CUANDO UNA LOGICA ES EXTENSION (EN SU CASO, SIMPLE Y/O CONSERVADORA) DE OTRA, QUE ES UTILIZADO PARA JUSTIFICAR FORMALMENTE LAS RELACIONES ENTRE LAS TRES LOGICAS DISEÑADAS EN ESTE TRABAJO: PL, HOPL, E IPL Y SUS ANALOGAS TRADICIONALES.
  • CONTRIBUCIONES TOPOLOGICAS Y ALGEBRAICAS A LOS METODOS FORMALES EN PROGRAMACION DECLARATIVA.
    Autor: BUJOSA BRUN ANDRES.
    Año: 1992.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INGENIEROS DE TELECOMUNICACION .
    Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS.
    Resumen: LAS CONTRIBUCIONES DE LA PRESENTE TESIS DOCTORAL PUEDEN CLASIFICARSE EN CONTRIBUCIONES TOPOLOGICAS Y CONTRIBUCIONES ALGEBRAICAS. REFERENTE A LAS CONTRIBUCIONES TOPOLOGICAS PODEMOS DECIR QUE BASICAMENTE SE HAN APORTADO DOS CONCEPTOS MATEMATICOS: "LOS ESPACIOS SEMANTICOS" Y "EL AXIOMA DE COMPACIDAD". LOS PROPOSITOS FUNDAMENTALES DE ESTAS APORTACIONES ES PROPORCIONAR UN CUERPO DE DOCTRINA PARA PODER MODELIZAR SISTEMAS DEDUCTIVOS. ESTOS CONCEPTOS APORTADOS SE HAN APLICADO A LA DESCRIPCION DE LA SINTAXIS Y SEMANTICA DE LOS LENGUAJES DE PROGRAMACION FUNCIONALES Y LOGICOS, Y A LA DESCRIPCION DE LA LOGICA MATEMATICA DE PRIMER ORDEN. EN CUANTO A LAS CONTRIBUCIONES ALGEBRAICAS PODEMOS DECIR QUE SE HA APORTADO EL ANILLO DE LAS MARAÑAS, CUYO PROPOSITO FUNDAMENTAL HA SIDO EL DE MODELIZAR LAS ESTRUCTURAS DE DATOS QUE APARECEN EN PROGRAMACION DECLARATIVA. DICHA ESTRUCTURA ALGEBRAICA HA SIDO APLICADA A: LA DESCRIPCION DE LAS ECUACIONES "GUARDED" (EN EL SENTIDO DE HOARE), Y A LA DESCRIPCION DE LA OPERACION DE UNIFICACION DE EXPRESIONES.
  • DEFINICION DE UN MODELO CONCURRENTE ORIENTADO A OBJETOS. AGENTES PARA SISTEMAS MULTIAGENTE .
    Autor: DOMINGUEZ MINGUEZ TOMAS.
    Año: 1992.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INGENIEROS DE TELECOMUNICACION.
    Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: TELEMATICA.
    Resumen: EL PRESENTE TRABAJO DEFINE UN MODELO DE AGENTE GENERICO, UNA ARQUITECTURA SOFTWARE Y UN LENGUAJE CONCURRENTE ORIENTADO A OBJETOS PARA DICHA ARQUITECTURA. SU UTILIZACION DEBE PERMITIR EL DESARROLLO DE SISTEMAS MULTIAGENTE (MA) CAPACES DE TRABAJAR EN FORMA COOPERATIVA DURANTE LA RESOLUCION DISTRIBUIDA DE PROBLEMAS. EL MODELO SIGUE LAS LINEAS ACTUALES DE INVESTIGACION EN ESTE CAMPO, MEJORANDO LA EFICIENCIA DE ESTE TIPO DE SISTEMAS MEDIANTE LA CREACION DE UN NUEVO NIVEL DE GRANULARIDAD, EL DE LOS PROCESOS ASOCIADOS, QUE EVITA EL BLOQUEO DE LOS AGENTES DURANTE LA ATENCION DE SERVICIOS. DE ESTA FORMA, SE SOLUCIONAN GRAN PARTE DE LOS PROBLEMAS COMPUTACIONALES Y DE COMUNICACION DE LOS QUE ADOLECE ESTE TIPO DE SISTEMAS. EL DESARROLLO DE LA TESIS COMIENZA CON LA DEFINICION DEL MODELO FUNCIONAL Y LA ARQUITECTURA DE UN AGENTE GENERICO. POSTERIORMENTE, SE REALIZA LA ESPECIFICACION DE UN LENGUAJE CAPAZ DE SOPORTAR DICHA ARQUITECTURA. FINALMENTE, SE INTRODUCE EL NUCLEO DE UN LENGUAJE DE ALTO NIVEL, QUE SIGUIENDO LA ESPECIFICACION ANTERIOR, UTILIZA UN PARADIGMA CONCURRENTE ORIENTADO A OBJETOS. NI EL MODELO, NI LA ARQUITECTURA O EL LENGUAJE PROPUESTO PARTEN DE UNA SOLUCION A UN PROBLEMA CONCRETO, POR LO QUE SE ASEGURA UN ALTO GRADO DE GENERALIDAD. ELLO PERMITE AFRONTAR LA IMPLEMENTACION DE SISTEMAS MA EN UN AMPLIO RANGO DE DOMINIOS MEDIANTE EL USO DE LOS DIVERSOS METODOS Y TECNICAS MAS UTILIZADOS EN SISTEMAS MA.
  • UNA APROXIMACION A LA PROGRAMACION LOGICA CON FUNCIONES INDETERMINISTAS.
    Autor: SARMIENTO ESCALONA ANTONIO.
    Año: 1992.
    Universidad: A CORUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION E INTELIGENCIA ARTIFICIAL.
    Resumen: LA MEMORIA ES UN INTENTO DE INTEGRACION DE PROGRAMACION LOGICA Y FUNCIONAL DERIVADO DEL LENGUAJE DE PROGRAMACION BABEL. UTILIZA DOMINIOS DE SCOTT PARA LA SEMANTICA DECLARATIVA DEL LENGUAJE Y CONSTRUYE EL MODELO DE HERBRAND MINIMO, PARA PROBAR LA COMPLETUD DEL LENGUAJE, UTILIZANDO LA SEMANTICA DEL PUNTO FIJO. LA SEMANTICA OPERATIVA DEL LENGUAJE SE DA EN TERMINOS DE ESTRECHAMIENTO EN GRAFOS ACICLICOS, Y PRUEBA QUE ES COHERENTE Y COMPLETA RESPECTO A LA SEMANTICA DECLARATIVA.
  • UN MODELO FUNCIONAL DE DIALOGO PARA DIALOGOS ORIENTADOS POR LA TAREA .
    Autor: ZUBIZARRETA AIZPURU JOSE RAMON.
    Año: 1992.
    Universidad: PAIS VASCO.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: ASPECTOS TEORICOS DE LA INTELIGENCIA ARTIFICIAL Y SU RELACION CON OTRAS TECNOLOGIAS INFORMATICAS= BIENIO 87-89.
    Resumen: LA ESTRUCTURACION DEL DIALOGO UTILIZANDO REGLAS DE REESCRITURA CON ECUACIONES FUNCIONALES EN UNA MANERA SIMILAR A UNA GRAMATICA LEXICO-FUNCINAL, RESULTA ADECUADA PRA EL TRATAMIENTO DE DIALOGOS ORIENTACION POR LA TAREA. LA ECUACIONES FUNCIONALES ASOCIADAS A CADA CONSTITUYENTE DE UNA REGLA PERMITEN DETECTAR Y ESTRUCTURAL LAS FUNCIONES ILOCUTIVAS INICIATIVAS Y REACTIVAS QUE APARCEN EN EL DESARROLLO DE LA SECUENCIA DIALOGAL. ESTA ESTRUCTURACION SE LOGRA MEDIANTE UN CONJUNTO DE ESQUEMAS. ESTOS ESQUEMAS ESPECIFICAN LAS SUBCATEGORIZACIONES QUE SURGEN ENTRE LAS FUNCIONES LOCUTIVAS Y FUNCIONAN DE UNA MANERA SIMILAR A LAS FORMAS SEMANTICAS QUE LOS VERBOS ASQUIEREN EN UNA GRAMATICA LIXICO-FUNCIONAL. EL MODELO DE DIALOGO QUE SE PRESENTA ACTUA EN PARALELO CON EL SISTEMA PLANIFICADOR DEL DOMINIO CON EL OBJETIVO DE CONTEXTUALIZAR LA INTERVENCION PRODUCIDA EN EL ENTORNO DE DOMINIO MAS ADECUADO. EN EL PRIMER PASO SE UTILIZA UNA GRAMATICA LEXICO-FUNCIONAL PARA OBTENER EL ANALISIS SINTACTICO-FUNCIONAL DE LA INTERVENCION. A CONTINUACION, INTERPRETANDO EL ANALISIS, SINTACTICO-FUNCIONAL OBTENIDO, SE ESTUDIA EL EFECTO QUE PRODUCE LA INTERVENCION DENTRO DEL DOMINIO DE ESTUDIO.
  • LENGUAJE FORMAL PARA LA AUTOMATIZACION DE PROGRAMAS ESTRUCTURADOS .
    Autor: GARCIA DE DIEGO BARBER M. TERESA.
    Año: 1991.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA.
    Resumen: LA METODOLOGIA DE WARNIER REPRESENTA, DURANTE LA FASE DE ANALISIS, LA RELACION ENTRE ACCIONES Y CONDICIONES MEDIANTE TABLAS DE VERDAD. LA DEDUCCION POR METODOS CONVENCIONALES DEL PROGRAMA CORRESPONDIENTE A CASOS COMPLEJOS ES ARDUA Y EXPUESTA A COSTOSOS ERRORES. EL OBJETIVO DE ESTA TESIS ES LA DETERMINACION DE UN METODO FORMAL, UTILIZANDO ELEMENTOS DE LA TEORIA DE AUTOMATAS Y DE LA INTELIGENCIA ARTIFICIAL, QUE PERMITA DICHA DEDUCCION DE UNA MANERA AUTOMATICA Y OPTIMIZADA, ES DECIR CON LAS CARACTERISTICAS DE LAS HERRAMIENTAS CASE. SI ES FACTIBLE REPRESENTAR ESTAS TABLAS COMO UN LENGUAJE REGULAR, SIEMPRE SE PODRA ENCONTRAR UN AUTOMATA FINITO Y UNA GRAMATICA REGULAR ASOCIADOS A TAL LENGUAJE, DE MANERA QUE EL PRIMERO LLEVE AL SISTEMA CONSIDERADO A SU FORMA CANONICA, Y LA SEGUNDA GENERE LA ESTRUCTURA Y EL SEUDOCODIGO DEL PROGRAMA. CON ELLO SE OBTENDRIA UN UNIVERSO DE SOLUCIONES IGUALMENTE VALIDAS DESDE UN PUNTO DE VISTA FORMAL, PERO SIN DETERMINAR LA SOLUCION OPTIMA EN TERMINOS DE CONSUMO DE RECURSOS TECNOLOGICOS (CICLOS Y MEMORIA). PARA ELLO, SE PLANTEA LA INCORPORACION DE UNA FUNCION HEURISTICA QUE DA LUGAR A UN ALGORITMO SOBRE UN AUTOMATA FINITO Y NO DETERMINISTA, DEDUCIDO DE LA TABLA DE VERDAD, DE MANERA QUE EN UN UNICO PASO REFUNDE LOS PROCESOS DE DETERMINISMO Y MINIMIZACION Y OBTIENE LA SOLUCION BUSCADA. TAL ALGORITMO ESTABLECE SOBRE EL AUTOMATA UNA RELACION DE EQUIVALENCIA EN EL LENGUAJE, ENCONTRANDO LA SOLUCION MEDIANTE UNA PODA EN EL ESPACIO DE BUSQUEDA, Y ESTABLECIENDO EL LENGUAJE REGULAR QUE LA REPRESENTA.
  • "APORTACIONES METODOLOGICAS EN LA SINTESIS, VISUALIZACION Y SIMULACION DE ALGORITMOS PARA ARQUITECTURAS PARALELAS REGULARES".
    Autor: SANCHEZ CALLE ANGEL.
    Año: 1990.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID..
    Resumen: EN ESTE TRABAJO SE DESARROLLA UNA METODOLOGIA DE SINTESIS DE ARQUITECTURAS SITOLICAS, QUE TIENE COMO PUNTO DE PARTIDA A LOS METODOS BASADOS EN LA PROYECCION DEL GRAFO DE DEPENDENCIAS DEL ALGORITMO. ESTA METODOLOGIA PARTE DE UNA DESCRIPCION ALGEBRAICA GLOBAL DEL ALGORITMO Y PRODUCE COMO RESULTADO UNA ARQUITECTURA PARTICULAR. TAMBIEN SE PRESENTA UN ESQUEMA DE VISUALIZACION BASADO EN UNA EXTENSION DEL GRADO DE DEPENDENCIAS DEL ALGORITMO, PARA PERMITIR DAR UNA INTERPRETACION GEOMETRICA A LAS DIFERENTES CARACTERISTICAS DE LAS VARIABLES INDEXADAS QUE INTERVIENEN EN EL. ESTE ESQUEMA SIRVE DE COMPLEMENTO A LA METODOLOGIA DE SINTESIS. FINALMENTE, SE ESTUDIA COMO PRODUCIR SOFTWARE EJECUTABLE PARA PERMITIR LA SIMULACION DE LOS DISEÑOS FINALES. SE ANALIZAN LOS REQUISITOS NECESARIOS EN UN LENGUAJE DE SIMULACION PARA ARQUITECTURAS DEL TIPO SISTOLICO/FRENTE DE ONDA, UTILIZANDOSE OCCAM PARA ESTE OBJETIVO. EL RESULTADO ES LA DESCRIPCION FORMAL DE LA ESTRUCTURA DE UN PROGRAMA QUE SIMULA UNA REALIZACION CONCRETA PARA ESTE TIPO DE ARQUITECTURAS Y EL DESARROLLO DE UNA LIBRERIA DE PROCEDIMIENTOS ENCARGADOS DE GESTIONAR LA VISUALIZACION EN PANTALLA DEL FUNCIONAMIENTO CONCURRENTE DE UN DISEÑO SISTOLICO O DE TIPO FRENTE DE ONDA.
  • ENTORNOS OPERATIVOS FUNCIONALES .
    Autor: LAFUENTE ROJO ALBERTO.
    Año: 1989.
    Universidad: PAIS VASCO.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE SAN SEBASTIAN.
    Resumen: LOS LENGUAJES FUNCIONALES HAN TENIDO UNA AMPLIA ACEPTACION EN LA PROGRAMACION ACTUAL, POR SU PODER EXPRESIVO Y POR SUS PROPIEDADES FORMALES, QUE LOS HACEN PARTICULARMENTE ATRACTIVOS PARA LA VERIFICACION DE PROGRAMAS Y PARA LA EXPLOTACION DE SU PARALELISMO IMPLICITO. SIN EMBARGO, SU CARACTER DECLARATIVO Y ATEMPORAL PARECE DIFICULTAR SU UTILIZACION EN ENTORNOS DONDE SE REQUIERA TRATAR CON CONCEPTOS TALES COMO CONCURRENCIA, COMUNICACION Y TIEMPO REAL. INTRODUCIMOS UN LENGUAJE FUNCIONAL CON CONSTRUCCIONES ESPECIFICAS PARA TRATAR CON DISPOSITIVOS Y EVENTOS Y, EN GENERAL, PARA EXPRESAR LOS REQUERIMIENTOS DE LOS ENTORNOS OPERATIVOS REALES. LA SEMANTICA DEL LENGUAJE Y EL COMPORTAMIENTO DE LOS ELEMENTOS DEL ENTORNO SE ESTUDIAN EN VARIOS NIVELES DE ABSTRACCION CON OBJETO DE MOSTRAR LA VIABILIDAD DE LOS LENGUAJES FUNCIONALES PARA SOPORTAR LAS CARACTERISTICAS DE LOS ENTORNOS OPERARIVOS CON UNA IMPLEMENTACION RAZONABLE.
  • EXTENSION DE LOS LENGUAJES CIENTIFICOS PARA SU USO EN ALGORITMOS PARALELOS Y VECTORIALES.
    Autor: GARCIA MERAYO FELIX.
    Año: 1988.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID..
    Resumen: DISEÑO DE UNA EXTENSION QUE CONTENGA CONSTRUCCIONES CON PARALELISMO INHERENTE Y QUE SEA COMPATIBLE CON LOS ACTUALES ESTANDARES DE LENGUAJES PROCEDURAL CIENTIFICOS. CON ELLO SE PERMITIRA AL PROGRAMADOR DE APLICACIONES EL INCORPORAR Y UTILIZAR UNA FORMULACION DE LOS PROBLEMAS TAN NATURAL Y PARALELA COMO SEA POSIBLE, EVITANDO LAS DEPENDENCIAS QUE SE PRESENTAN AL CONSTRUIR ALGORITMOS ITERATIVOS BASADOS EN EL PROCESO DE VECTORES Y MATRICES. SE INTRODUCEN CONCEPTOS BASICOS, SE CREA UNA NUEVA SINTAXIS Y UNA NUEVA SEMATICA.
  • ACLAN, UN LENGUAJE PARALELO PARA SISTEMAS MULTIPROCESADOR.
    Autor: PLATA GONZALEZ OSCAR GUILLERMO.
    Año: 1988.
    Universidad: SANTIAGO DE COMPOSTELA.
    Centro de lectura: FISICA.
    Centro de realización: DEPARTAMENTO DE ELECTRONICA. FACULTAD DE FISICA..
    Resumen: ACLAN ES UN LENGUAJE PARALELO QUE PERMITE LA PROGRAMACION DE SISTEMAS MATRICIALES SINCRONOS CON UN ESQUEMA DE MEMORIA LOCAL NO COMPARTIDA. SUS CARACTERISTICAS PRINCIPALES SON: AMPLIA LA SINTAXIS DEL LENGUAJE C INCORPORANDO NUEVAS ESTRUCTURAS QUE PERMITEN EXPRESAR DIRECTAMENTE EL PARALELISMO DEL PROBLEMA; INCORPORA NUEVOS OPERADORES Y TIPOS DE DATOS DE BAJO NIVEL QUE PERMITEN MANIPULAR LOS COMPONENTES ESTRUCTURALES DE LA MAQUINA A TRES NIVELES: LA MEMORIA LOCAL DE LO NODOS, LAS FUNCIONES DE LA ALU DE LOS NODOS Y LA FUNCIONES DE LA RED DE INTERCONEXION; PERMITE EL ENMASCARAMIENTO INDIVIDUAL DE LOS NODOS. A PESAR DE ESTAS CARACTERISTICAS, ACLAN ES UN LENGUAJE INDEPENDIENTE DE LA MAQUINA, PUESTO QUE TRABAJA CON UN ESQUEMA CONCEPTUAL DE LA MISTA TOTALMENTE DEFINIBLE POR EL USUARIO (MAQUINA VIRTUAL). ACLAN FUE ESPECIALMENTE DISEÑADO PARA APLICACIONES NUMERICAS, DONDE EL TIEMPO DE PROCESAMIENTO Y-O LA MEMORIA OCUPADA SON FACTORES CRITICOS A OPTIMIZAR. HEMOS DESARROLLADO TRES TRADUCTORES DE ACLAN. UN TRADUCTOR SECUENCIAL, QUE TRADUCE EL LENGUAJE ACLAN AL LENGUAJE C SECUENCIAL Y PERMITE LA SIMULACION DE CUALQUIER PROGRAMA ACLAN SOBRE UN COMPUTADOR MONOPROCESADOR. UN TRADUCTOR PARALELO QUE PERMITE LA EJECUCION DE PROGRAMAS ACLAN SOBRE EL MULTICOMPUTADOR HIPERCUBO N-CUBE-10. ESTE TRADUCTOR GENERA CODIGO C DE ESTE COMPUTADOR CON LLAMADAS A SUS SISTEMAS OPERATIVOS PARA EXPRESAR EL PARALELISMO . UN PRECOMPILADOR PARALELO QUE TRADUCE UN PROGRAMA ACLAN A UN CODIGO INTERMEDIO PARALELO E INDEPENDIENTE DE LA MAQUINA, PERO MAS SENCILLO DE TRADUCIR A CODIGO MAQUINA DE UN SISTEMA MATRICIAL PARTICULAR QUE EL PROPIO LENGUAJE ACLAN. EL CODIGO INTERMEDIO ELEGIDO ES LA NOTACION POLACA INVERSA DE TODAS LAS INSTRUCCIONES EJECUTABLES PARALELAS. PRESENTAMOS ALGORITMOS PARALELOS ESCRITOS EN ACLAN EJECUTABLES SOBRE UN HIPERCUBO. DESCRIBIMOS UN ALGORITMO PARALELO GENERAL PARA LA REDISTRIBUCION DE LOS DATOS LOCALES ALMACENADOS EN LOS NODOS DE UN HIPERCUBO. TAMBIEN DESCRIBIMOS ALGORITMOS PARALELOS PARA EL CALCULO DE LAS FUNCIONES DE PESO NECESARIAS PARA DETERMINAR LA FIGURA DE RADIACION EN REDES ARBITRARIAS DE COMPUTADORES. POR ULTIMO, MOSTRAMOS COMO PODEMOS UTILIZAR ACLAN COMO UN LENGUAJE DE SIMULACION DE ALGORITMOS ARITMETICOS SOBRE REDES SISTOLICAS.
  • GRAMATICAS LOGICAS: RESOLUCION DE PROBLEMAS EN LENGUAJE NATURAL .
    Autor: GARCIA SERRANO ANA M..
    Año: 1987.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID.
    Resumen: ESTA TESIS POR OBJETO ESTUDIAR LAS POSIBILIDADES DE REALIZAR EN CASTELLANO TAREAS RELATIVAS A LA RESOLUCION DE PROBLEMAS CON SISTEMAS BASADOS EN EL CONOCIMIENTO.EN LOS DOS PRIMEROS CAPITULOS SE PLANTEA UN ANALISIS DE LA TRAYECTORIA SEGUIDA POR LAS TECNICAS DE TRATAMIENTO DEL LENGUAJE NATURAL PRESTANDO ESPECIAL INTERESA LOS FORMALISMOS LOGICOS PARA LA COMPRENSION DEL LENGUAJE. SEGUIDAMENTE SE PLANTEA UNA VALORACION DE LA SITUACION ACTUAL DE LOS SISTEMAS DE TRATAMIENTO DEL LENGUAJE NATURAL. FINALMENTE SEPRESENTA LO QUE CONSTITUYE EL NUCLEO DE ESTE TRABAJO UN SISTEMA LLAMADO SIRENA QUE PERMITE REALIZAR TAREAS DE ADQUISICION COMPRENSION RECUPERACION Y EXPLICACION DE CONOCIMIENTO EN CASTELLANO CON SISTEMAS BASADOS EN EL CONOCIMIENTO. ESTE SISTEMA CONTIENE UN SUBCONJUNTO DEL CASTELLANO AMPLIO PERO SIMPLE FORMALIZADO CON UNA GRAMATICA LOGICA. EL SIGNIFICADO DEL CONOCIMIENTO SE BASA EN LA LOGICA Y HA SIDO IMPLEMENTADO EN EL LENGUAJE DE PROGRAMACION LOGICA PROLOG II VI. PALABRAS CLAVE: PROGRAMACION LOGICA COMPRENSION DEL LENGUAJE NATURAL RESOLUCION DE PROBLEMAS GRAMATICAS LOGICAS LINGUISTICA COMPUTACIONAL INTELIGENCIA ARTIFICIAL.
  • EXTENSIONES DE LENGUAJES DE PROGRAMACION .
    Autor: MIELGO ALVAREZ HONORINO.
    Año: 1986.
    Universidad: BARCELONA .
    Centro de lectura: MATEMATICAS.
    Centro de realización: DEPARTAMENTO DE MATEMATICA APLICADA Y ANALISIS FACULTAD DE MATEMATICAS UNIVERSIDAD DE BARCELONA.
    Resumen: UNA EXTENSION DE UN LENGUAJE DE PROGRAMACION YA EXISTENTE CONSISTE EN AÑADIRLE NUEVAS CONSTRUCCIONES DE FORMA QUE TODAS LAS CONSTRUCCIONES DEL LENGUAJE ORIGINAL SIGAN SIENDO VALIDAS Y TENGAN EL MISMO SIGNIFICADO; DE ESTA FORMA SE CONSIGUE UN NIVEL DE ABSTRACCION SUPERIOR CON RELACION A UNA FAMILIA PARTICULAR DE PROBLEMAS.LA FINALIDAD DE ESTE TRABAJO ES EL ESTUDIO Y CLASIFICACION DE LAS EXTENSIONES DELENGUAJES DE PROGRAMACION DESDE EL PUNTO DE VISTA DE PROCESADORES PARA LAS EXTENSIONES.PARA PODER HABLAR DE EXTENSIONES DE LENGUAJES ES NECESARIO DISPONER PREVIAMENTE DE UN FORMALISMO COMPLETO DE DEFINICION DE LENGUAJES SOBRE EL QUE DEFINIR LAS EXTENSIONES. EN LA PRIMERA PARTE SE PRESENTAN LOS FORMALISMOS DE DEFINICION DE LENGUAJES DE PROGRAMACION QUE SE UTILIZAN POSTERIORMENTE. EN LA SEGUNDA PARTE SE ESTUDIAN LAS EXTENSIONES DE LENGUAJES SU FORMA DE REPRESENTACION SU CLASIFICACION Y LOS CRITERIOS QUE PERMITEN REDUCIR SU COMPLEJIDAD. EN LA TERCERA PARTE SE HACE UN INVENTARIO SISTEMATICO DE LOS INSTRUMENTOS Y PROCEDIMIENTOS DE CONSTRUCCION DE PROCESADORES SU APLICACION A LA CONSTRUCCION DE PROCESADORES DE EXTENSIONES Y EL DISEÑO DE ESTAS DESDE UN PUNTO DE VISTA ESENCIALMENTE PRACTICO. POR ULTIMO EN LA CUARTA PARTE SE PRESENTAN VARIOS EJEMPLOS DE EXTENSIONES ACTUALMENTE EN FUNCIONAMIENTO Y DE SUS PROCESADORES.
  • SEMANTICA DE COMPORTAMIENTO EN LENGUAJES DE ESPECIFICACION .
    Autor: NIVELA ALOS M. PILAR.
    Año: 1986.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA DE LA UNIVERSIDAD POLITECNICA DE CATALUÑA.
    Resumen: EN ESTA TESIS SE PRESENTA UN MARCO FORMAL (INSTITUCION) ADECUADO PARA DEFINIR EN TERMINOS DE SEMANTICA DE COMPORTAMIENTO LAS CONSTRUCCIONES USUALES EN LOS LENGUAJES DE ESPECIFICACION ALGEBRAICA. SE DEFINE PARA ELLO LA SINTAXIS DE LAS ESPECIFICACIONES LA CLASE DE MODELOS ASOCIADA Y LA NOCION DE SATISFACION. BASANDOSE EN ESTOS CONCEPTOS SE ESTABLECE LO QUE ES UNA ESPECIFICACION PARAMETRIZADA UN PASO DE PARAMETROS Y UNA IMPLEMENTACION DEMOSTRANDOSE QUE LAS PROPIEDADES DE ESTOS MECANISMOS CONSIDERADAS USUALMENTE COMO DESEABLES SE CUMPLEN EN ESTE NUEVO MARCO. TODOS ESTOS RESULTADOS SE APLICAN AL ESTUDIO DEL LENGUAJE DE ESPECIFICACION MERLIN-T DEFINIDO CON DOS NIVELES DE SEMANTICA COMPATIBLES ENTRE SI. ADEMAS ESTELENGUAJE INCORPORA UNA CONSTRUCCION DENOMINADA UNIVERSO QUE LO CONVIERTE NO SOLO EN EL LENGUAJE DE ESPECIFICACION SINO EN UN LENGUAJE DE ESPECIFICACION -DISEÑO.
  • LENGUAJE DE CONTROL Y SISTEMA OPERATIVO PARA PROCESOS GOBERNADOS POR MICROPROCESADORES.
    Autor: GALAN LOPEZ RAMON.
    Año: 1981.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: DEPARTAMENTO DE INGENIERIA DE SISTEMAS Y AUTOMATICA ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE MADRID (U.P.M.).
    Resumen: ESTA TESIS SE ENGLOBA DENTRO DEL CAMPO DEL SOFTWARE PARA CONTROL DISTRIBUIDO DE PROCESOS. EN ELLA SE REALIZA EL DISEÑO DE UN NUEVO LENGUAJE CL80 ORIENTADO AL CONTROL CON MICROPROCESADORES. EL LENGUAJE IMPLEMENTA EL CONTROL MEDIANTE UNA CONFIGURACION EN ESTRELLA DE MICROPROCESADORES. LA COMUNICACION ENTRE ELLOS SE LLEVA A CABO POR MEDIO DE PUERTOS DE ENTRADA/SALIDA. EL COMPILADOR REALIZA LA DISTRIBUCION DE LAS TAREAS A LOS DIFERENTES PROCESADORES SIENDO EL SISTEMA OPERATIVO EL ENCARGADO DE LA GESTION DE ESTAS TAREAS Y DEL CONTROL DE LA COMUNICACION DEL SISTEMA. SE ESTUDIAN TAMBIEN LAS NECESIDADES DE UN SISTEMA OPERATIVO.
  • PROGRAMACION CONCURRENTE FIABLE .
    Autor: ALVAREZ RODRIGUEZ ANGEL.
    Año: 1980.
    Universidad: POLITECNICA DE MADRID .
    Centro de lectura: INGENIEROS INDUSTRIALES.
    Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES. DE MADRID.
    Resumen: EN ESTA TESIS SE ABORDA EL ESTUDIO DE LOS PROBLEMAS ASOCIADOS CON LA PROGRAMACION CONCURRENTE DE COMPUTADORES CONSIDERADOS DESDE EL PUNTO DE VISTA DE LA FIABILIDAD DE LOS SISTEMAS RESULTANTES. =LA FIABILIDAD AQUI ESTUDIADA ES AQUELLA QUE PROPORCIONA EL VEHICULO EXPRESIVO ES DECIR EL LENGUAJE DE PROGRAMACION TANTO DESDE EL PUNTO DE VISTA SEMANTICO COMO DESDE EL SINTACTICO. NO SE CONSIDERAN PUES ASPECTOS TALES COMO FIABILIDAD HARDWARE O DETECCION/RECUPERACION AUTOMATICA DE ERROR HARDWARE.= UTILIZANDO PASCAL CONCURRENTE SE HA PROGRAMADO EL NUCLEO DE UN SISTEMA OPERATIVO EN TIEMPO COMPARTIDO MULTIUSUARIO SIENDO ESTA LA PRIMERA VEZ QUE UN TRABAJO DE TAL NATURALEZA SE LLEVA A CABO EN UN LENGUAJE CONCURRENTE DE ALTO NIVEL. LA EXPERIENCIA HA SERVIDO PARA IDENTIFICAR ALGUNOS PROBLEMAS DE FALTA DE FIABILIDAD EN LOS MECANISMOS DE PROGRAMACION CONCURRENTES USUALES HOY DIA. EN PARTICULAR Y A PESAR DE HABER SIDO OBJETO DE ESTUDIO POR UN GRAN NUMERO DE INVESTIGADORES DURANTE TANTO TIEMPO SE HA ENCONTRADO QUE EL PROBLEMA DE LA SINCRONIZACION NO ESTA SUFICIENTEMENTE BIEN CONCERTUALIZADO Y COMO RESULTADO LOS MECANISMOS QUE SE UTILIZAN A TAL FIN NO SON DEL TODO FIABLES. EN ESTA TESIS SE PROPONE UN NUEVO MECANISMO CON TAL PROPOSITO QUE RESULTA SER UNA EXTENSION DE LAS EXPRESIONES DE CAMINO
102 tesis en 6 páginas: 1 | 2 | 3 | 4 | 5 | 6
Búsqueda personalizada
Manuales | Tesis: Ordenadores, Circuitos integrados...
english
Cibernetia