Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrar más

Mostrando 10 de 159.783 registro(s)

tesis Acceso Abierto
Agregar a Mi catálogo

Compilación de programas seguros

Más información
Autores/as: Enrique Molinari ; Eduardo Bonelli ; Gustavo Héctor Rossi

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2010 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  

Este trabajo primero presenta un lenguaje de alto nivel junto con un sistema de tipos que garantiza que los programas bien tipados satisfacen no-interferencia. Luego presenta un lenguaje de bajo nivel basado en Typed Assembly Language, al que denominamos SecTAL (Secure Typed Assembly Language), junto con un sistema de tipos que satisface propiedades similares. Finalmente, presenta una función de compilación junto con una demostración de que preserva la propiedad de no-interferencia. La función de compilación ha sido implementada al igual que un chequeador de tipos para SecTAL1. Las contribuciones pueden resumirse de la siguiente manera: La definición de una función de compilación de un lenguaje imperativo sencillo hacia un lenguaje de bajo nivel basado en Typed Assembly Language. La prueba de un resultado de preservación de tipado que muestra que si el programa fuente es bien tipado (y por ende seguro) también lo será el resultado de compilar el mismo.
libros Acceso Abierto
Agregar a Mi catálogo

Compilado de proyectos de investigación científica empresarial: semana de la ciencia, la tecnología, la innovación y el emprendimiento

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto Descargá directamente
revistas Acceso Abierto
Agregar a Mi catálogo

Compiler

Más información

ISSNs 2252-3839 (impreso) 2549-2403 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde ene. 2016 / hasta may. 2025 Directory of Open Access Journals acceso abierto Descargá directamente

Cobertura temática: Matemáticas - Ingeniería y tecnología  

libros
Agregar a Mi catálogo

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings./

Más información

ISBNs: 978-3-540-71228-2 (impreso) 978-3-540-71229-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Proceedings

Más información

ISBNs: 978-3-540-25411-9 (impreso) 978-3-540-31985-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings^

Más información

ISBNs: 978-3-540-33050-9 (impreso) 978-3-540-33051-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Cobertura temática: Ciencias de la computación e información - Medicina básica - Medicina clínica  

libros Acceso Abierto
Agregar a Mi catálogo

Compiling and annotating a learner corpus for a morphologically rich language: Compiling and annotating a learner corpus for a morphologically rich language

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto Descargá directamente

Cobertura temática: Lenguas y literatura  

libros
Agregar a Mi catálogo

Compiling Esterel

Más información

ISBNs: 978-0-387-70626-9 (impreso) 978-0-387-70628-3 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ingeniería eléctrica, electrónica e informática  

tesis Acceso Abierto
Agregar a Mi catálogo

Complejidad de algoritmos en geometría algebraica computacional

Más información
Autores/as: Leandro Mario Caniglia ; Joos Heintz

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1989 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto Descargá directamente
Fil:Caniglia, Leandro Mario. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
tesis Acceso Abierto
Agregar a Mi catálogo

Complejidad de conjuntos semialgebraicos

Más información
Autores/as: Pablo L. Solerno ; Joos Heintz

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 1989 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto Descargá directamente
Sea L el lenguaje de primer orden sobre cuerpos real-cerrados. Para cada fórmula ɸ є L si P c Z [x1,...,xn] es el conjunto de polinomios que aparecen en ɸ notamos σ (ɸ): = 2 + ΣpєP deg (P) y |ɸ| := longitud de ɸ. 1. Se exhibe un algoritmo que elimina cuantificadores en L (y en particular descompone cilíndricamente R^n). Para cualquier fórmula ɸ en n-variables dicho algoritmo funciona en tiempos: σ(ɸ)² °(n)+o(|ɸ|) (secuencial) y 2°(n)log2^4σ(ɸ)+O(log2|ɸ|) (paralelo). Se muestra además que estas cotas superiores son optimales. 2. Dado un conjunto semialgebráico A descrito por ecuaciones e inecuaciones sobre una familia finita de polinomios F c Z [x1,...,xn], se construye un sistema de representantes para las componentes convexas de A por medio de un algoritmo que funciona en tiempos: d^n°(¹) (secuencial) y (n log2^d) °(¹) (paralelo), donde d := ΣpєP deg P. 3. Se exhibe un algoritmo tal que, dada ɸ є L, sin variables libres y escrita en forma prenexa, con r := número de bloques de cuantificadores, se decide la verdad o falsedad de ɸ en tiempos: σ(ɸ)^n°(r) (secuencial) y n°(r) (log σ(ɸ))°(¹) (paralelo).