Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 166.819 registro(s)


libros Acceso Abierto
Agregar a Mi catálogo

Verhaltensdesign: Technologische und ästhetische Programme der 1960er und 1970er Jahre

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

Cobertura temática: Ciencias sociales - Educación - Sociología - Geografía social y económica - Medios de comunicación - Lenguas y literatura  


libros Acceso Abierto
Agregar a Mi catálogo

Verhaltensforschung am Point of Sale: Ansatzpunkte und Methodik

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

Cobertura temática: Economía y negocios  


libros Acceso Abierto
Agregar a Mi catálogo

Verhaltensforschung am Point of Sale: Ansatzpunkte und Methodik

Más información

ISBNs: 9783940344687 (impreso)

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

Cobertura temática: Economía y negocios  


libros Acceso Abierto
Agregar a Mi catálogo

Verhaltensökonomik und Normativität: Die Grenzen des Informationsmodells im Privatrecht und seine Alternativen

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

Cobertura temática: Educación  


libros Acceso Abierto
Agregar a Mi catálogo

Verhältnisse reparieren: Wie Reparieren und Selbermachen die Beziehungen zur Welt verändern

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

Cobertura temática: Ciencias sociales - Sociología - Ciencia política - Otras humanidades  


libros Acceso Abierto
Agregar a Mi catálogo

Verhandeln mit Republiken: Die französisch-eidgenössischen Beziehungen im frühen 18. Jahrhundert

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

Cobertura temática: Humanidades y artes - Historia y arqueología  


libros Acceso Abierto
Agregar a Mi catálogo

Verhandelte Gerechtigkeit. Rückerstattung und Entschädigung für jüdische NS-Opfer in Bayern und Westdeutschland

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

libros Acceso Abierto
Agregar a Mi catálogo

Verhüllte Schaulust: Die Maske in Schnitzlers »Traumnovelle« und in Kubricks »Eyes Wide Shut«

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

Cobertura temática: Lenguas y literatura  


tesis Acceso Abierto
Agregar a Mi catálogo

Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador

Más información
Autores/as: Fernando Schapachnik ; Víctor Braberman ; Alfredo Olivero

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2007 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

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

Los sistemas de tiempo real están presentes en dispositivos embebidos, teléfonos celulares, controladores de vuelo, etc. Su complejidad es cada vez mayor, y cada vez cumplen funciones más críticas, donde las consecuencias de sus fallas son cada vez más graves. Por estos motivos tiene sentido realizar un análisis riguroso sobre ellos, que permita asegurar que sus diseños cumplen ciertas propiedades deseables. A este tipo de análisis se le suele llamar verificación automática o model checking. Un formalismo muy difundido para realizar esta tarea es el de los autómatas temporizados, una extensión de la teoría clásica de autómatas que permite trabajar con tiempo denso. Si bien las técnicas basadas en este tipo de autómatas se conocen desde hace un par de décadas, sufren aún de problemas de escalabilidad, lo que dificulta una utilización mayor en casos reales. Esta tesis analiza diversos mecanismos para acelerar la verificación de autómatas temporizados, tanto en el (clásico) ambiente monoprocesador, como así también en arquitecturas distribuidas. Durante el transcurso de la misma se construyó el model checker Zeus, que se utiliza para la experimentación. Luego de presentar la motivación e introducción al tema, se presentan los conceptos básicos del formalismo y las estructuras de datos más utilizadas en este tipo de herramientas. Se destacan los dos algoritmos tradicionales de verificación, forward y backwards. A continuación, se explora la paralelización del algoritmo backwards: se presenta una prueba de corrección de una versión distribuida y asincrónica del mismo, se la implementa, y se experimenta también con una versión sincrónica y con otra que reparte la carga de trabajo sobre los procesadores de manera dinámica. Se analizan los resultados obtenidos y se argumenta que son cercanos a óptimos utilizando la unidad de distribución de trabajo actual: la asignación de nodos del autómata a procesadores. Luego se aborda la paralización del algoritmo forward junto con una estrategia para la redistribución dinámica de trabajo entre los procesadores. Después de demostrar su corrección, se analizan varios casos de estudio sobre distintas configuraciones, obteniéndose resultados positivos pero no óptimos, y comprobándose que aún queda mucho por investigar con respecto a la distribución de este algoritmo, y planteándose varias posibles líneas de investigación. En el capítulo siguiente se compara el presente trabajo con otros del área, y se argumenta que ciertos resultados positivos obtenidos por otros investigadores tienen como causa no la paralización en sí sino ciertos efectos colaterales de la misma, que tal vez podrían reproducirse en un monoprocesador. A continuación se presenta trabajo realizado en pos de obtener una nueva estructura de datos. En ese marco, se introducen los rCDDs (restricted Clock Difference Diagrams) junto con casos de estudio en los que estos mejoran los tiempos de ejecución hasta en un treinta por ciento. El siguiente capitulo explora dos optimizaciones también validas para el caso monoprocesador. La primera consiste en computar rangos posibles para los valores de las estructuras de datos y de esa manera reacomodarlas para detectar antes ciertas condiciones de corte de operaciones utilizadas con mucha frecuencia. Los resultados muestran mejoras de hasta un diecisiete por ciento en los tiempos de ejecución. La segunda consiste en computar una aproximación al hipervolumen de los poliedros representados por las estructuras de datos, de manera tal de evitar O(n2) comparaciones al costo de O(1). Esta técnica logra una reducción de tiempo de hasta casi un veinte por ciento. El anteúltimo capítulo presenta VInTiMe, una herramienta gráfica que permite describir diseños de tiempo real, especificar sus propiedades de manera amigable, y verificarlas utilizando el model checker distribuido Zeus, de manera sencilla. Constituye un esfuerzo por acercar los métodos formales al usuario no tan experimentado. Finalmente, se exponen las conclusiones del trabajo, donde se argumenta la dificultad de decidir de antemano qué optimizaciones y/o parámetros serán más convenientes para un caso de estudio dado, y se proponen ideas alternativas para atacar el problema.

tesis Acceso Abierto
Agregar a Mi catálogo

Verificación de créditos fiscales

Más información
Autores/as: Sebastián Francolino

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

Cobertura temática: Economía y negocios  

La Ley de Concursos y Quiebras establece un mecanismo de reconocimiento de los créditos denominado proceso de verificación, el cual tiene como propósito comprobar la existencia y monto de los créditos, como así también determinar si los mismos son quirografarios o privilegiados. El objetivo del presente trabajo es analizar particularidades de la verificación de los créditos correspondientes al Fisco, ya sea a nivel nacional, provincial y municipal. Asimismo se incluye doctrina y jurisprudencia relacionada con distintos aspectos que hacen del Fisco uno de los principales acreedores en los procesos concursales: su carácter de sujeto de derecho público y la posesión o no de prerrogativas especiales en el proceso de verificación; su presencia en la casi totalidad de los procesos concursales; la existencia de leyes con disposiciones contrapuestas a la norma concursal; la relevancia del Fisco en el conjunto de los acreedores y su papel a la hora de la obtención por parte del deudor de las mayorías necesarias para lograr el acuerdo; entre otros.