Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 1400 registro(s) hasta el momento: (datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Open Arithmetics Fortran 90
Regis, Germán - Arroyo, Marcelo - Aguirre, Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los errores de redondeo introducidos por las diferentes representaciones finitas de los números reales en los lenguajes de programación y su propagación a través de la operaciones aritméticas constituye el problema central del cálculo numérico. Cada aritmética particular de punto…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Modelización y verificación automática de un proceso software
Sosa, Mabel - Ledesma, María I. - Acuña, Silvia T.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este artículo se presenta la modelización y verificación de los aspectos dinámicos y temporales de un proceso software convencional. La modelización de los aspectos dinámicos se representa mediante un metamodelo de diagramas de actividades de UML y la modelización…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Evaluación de las capacidades humanas en el proceso de desarrollo de software
Acuña, Silvia T. - Sosa, Mabel - Figueroa, Saritha G. - Menini, María de los Ángeles

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En los modelos de proceso software actuales las personas son el factor menos formalizado, sin embargo, éstas presentan un comportamiento no determinístico y subjetivo que influye decisivamente en los resultados de la producción de software. Se ha desarrollado un Modelo…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Análisis de flujo de control y código móvil seguro
Bavera, Francisco - Nordio, Martín - Aguirre, Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La interacción entre sistemas de software por medio de código móvil es un método poderoso que permite instalar y ejecutar código dinámicamente. De este modo, un servidor puede proveer medios flexibles de acceso a sus recursos y servicios internos. Pero…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

El proyecto e-DacTa
Simón, Liliana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El avance de las nuevas tecnologías de información y Comunicación (NTICs) en la enseñanza ha propiciado el uso de nuevos entornos que abren nuevos escenarios en la educación superior. Se presentará en este trabajo el impacto del uso de un…
Fecha:	2012-06-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Un sistema de administración y gestión de cursos de capacitación para un Instituto de Educación Superior No Universitario
Sánchez, Karina M. - Mariño, Sonia Itatí - Godoy Guglielmone, María Viviana - Llovet, María V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se describe el diseño, desarrollo e implementación de un sistema de Información basado en plataforma web destinado a la gestión de datos de docentes, alumnos y tutores de un Instituto Superior No Universitario de gran trayectoria cultural y educativa en…
Fecha:	2012-06-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Simuladores para afianzar conceptos de modelos de existencias
Primorac, Carlos R. - Mariño, Sonia Itatí - López, María Victoria

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se describe el diseño, desarrollo e implementación de un sistema de Información basado en plataforma web destinado a la gestión de datos de docentes, alumnos y tutores de un Instituto Superior No Universitario de gran trayectoria cultural y educativa en…
Fecha:	2012-06-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Una implementación completa del FQTrie
Chávez, Edgar - Herrera, Norma Edith - Ruano, Carina - Villegas, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La próxima generación de manejadores de bases de datos deberá ser capaz de indexar datos multimedia y responder consultas de proximidad con tanta eficiencia como actualmente responden consultas de búsqueda exacta. Estas nuevas bases de datos se pueden modelar como…
Fecha:	2012-09-18
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

La realidad de la experimentación física en laboratorios remotos
Mattaloni, Mariela - Kofman, Hugo - Lucero, Pablo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La utilización de las NTIC’s suscita nuevas líneas de trabajo e investigación, abriendo la posibilidad al desarrollo de nuevas estrategias docentes en el dictado de asignaturas de carácter científico. En la actualidad Internet juega uno de los principales papeles en…
Fecha:	2012-08-08
Recurso:	Unversidad Nacional de La Plata