II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996

Buenaventura Clares Rodríguez

Ayuda

II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996

Imagen de portada del libro II Jornadas de informática. Actas

Información General

Autores: Buenaventura Clares Rodríguez (dir. congr.)
Editores: [Almuñécar?] : Asociación Española de Informática y Automática, [1996]
Año de publicación: 1996
País: España
Idioma: español
ISBN: 84-8254-080-7
Recoge los contenidos presentados a: Jornadas de Informática (2. 1996. Almuñécar).
Texto completo no disponible (Saber más ...)

Otros catálogos

Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

- Arquitectura software de sistemas abiertos
  José María Troya Linero
  - Resumen
  pág. 3
- Interoperabilidad del software: una perspetiva desde la Inteligencia Artificial
  José Carlos González Cristobal
  - Resumen
  pág. 4
- Operadores de asociación y agregación de clases en un lenguaje de especificación OO
  Jesús Torres Valderrama, José Antonio Troyano Jiménez, José Miguel Toro Bonilla
  - Resumen
  págs. 11-20
- Una semántica operacional para CProlog
  Antonio José Fernández Leiva, Blas Carlos Ruiz Jiménez
  - Resumen
  págs. 21-30
- Síntesis deductiva de programas lógicos con tipos
  Francisco José Galán Morillo, José Miguel Toro Bonilla
  - Resumen
  págs. 31-39
- Especificación orientada a objetos de lenguajes visuales de grafos
  Amador Durán Toro, José Miguel Toro Bonilla
  - Resumen
  págs. 41-50
- Un sistema de tipos generalizado con sobrecarga
  Blas Carlos Ruiz Jiménez, Alberto Santos
  - Resumen
  págs. 51-60
- Un estudio comparativo de lenguajes orientados al modello PRAM
  Coromoto León Hernández, Casiano Rodríguez León, Francisco de Sande González, Félix César García López
  - Resumen
  págs. 61-71
- Uso de técnicas de descrpición formal en la integración de protocolos de gestión de redes de comunicaciones
  Manuel Mejías Risoto, Ana Verónica Médina Rodríguez, Sergio Martín Guillén
  - Resumen
  págs. 73-82
- Plataforma de desarrollo y experimentación de protocolos de comunicaciones
  Vicente Cerverón Lleó, Gregorio Martín Quetglás, Vicente Cavero Millán
  - Resumen
  págs. 83-90
- Comunicaciones multimedia sobre redes genéricas
  Saúl Pablo Labajo Izquierdo, Narciso García Santos, Ángel Pacheco Almendros, Carlos Muñoz Pérez
  - Resumen
  págs. 91-101
- Diseño de bases de datos centrado en el usuario: diagrama E-R versus dependencias funcionales
  Sergio Gálvez Rojas, Antonio Jesús Guevara Plaza, Andrés Luis Aguayo Maldonado, Juan Falgueras Cano, Iván Marcelino Gómez Gallego
  - Resumen
  págs. 103-112
- Caracterización del sistema de interrelaciones para una integración de modelos de objetos
  Esperanza Marcos Martínez, Adoración de Miguel Castaño, Mario G. Piattini Velthuis, P. Martínez, B. Voyer
  - Resumen
  págs. 113-122
- Un sistema de recuperación de componentes software basado en técnicas de indexación automática y la información de una base de datos léxica
  María de las Mercedes Gómez Albarrán, Manuel de Buenaga Rodríguez, Pedro Antonio González Calero
  - Resumen
  págs. 123-132
- Un nuevo algoritmo de inclusión de puntos en triángulos. Estudio comparativo
  M. García Vega, Rafael Jesús Segura Sánchez, Luis Alfonso Ureña López
  - Resumen
  págs. 133-141
- Un lenguaje de especificación formal de sistemas gráficos interactivos
  Marcelino Cabrera Cuevas, María Luisa Rodríguez Almendros, Francisco Miguel Gea Megías, Juan Carlos Torres Cantero
  - Resumen
  págs. 143-152
- Modelado 2D mediante jerarquía de Quadtrees en distintos sistemas de coordenadas
  Pedro Cano Olivares, Francisco Velasco Anguita, Juan Carlos Torres Cantero
  - Resumen
  págs. 153-162
- Representación de árboles mediante L-Gramáticas y Sistemas de Partículas
  Diego José Navarro Aranda, Lawrence Mandow, Francisco Román Villatoro Machuca
  - Resumen
  págs. 163-172
- Hipercombats: una herramienta paramétrica de diseño y análisis distribuido de motocicletas
  Luis Matey, Francisco Javier García de Jalón de la Fuente, José Manuel Jiménez Conde
  - Resumen
  págs. 173-182
- Método de Monte Carlo global y adaptativo para el cálculo de factores de forma
  Narcís Coll, Ferran Hurtado Díaz, Xavier Pueyo Sandez
  - Resumen
  págs. 183-192
- ESTIARA: estudio de las componentes básicas del espacio rural en el marco de las comarcas agrarias almerienses
  Antonio Becerra Terón, R. M. Ayala Palenzuela, Luis Fernando Iribarne Martínez, Manuel Torres Gil, José Fernando Bienvenido Bárcena, Alfonso Bosch Arán, Samuel Túnez Rodríguez, José Ramón Díaz Álvarez
  - Resumen
  págs. 193-202
- Nueva técnica de control de flujo para el diseño de estrategias de encaminamiento adaptativas libres de bloqueo en redes de multicomputadores
  Antonio Robles Martínez, José Duato Marín
  - Resumen
  págs. 203-212
- Un esquema paralelo basado en ramificación y acotación programación dinámica para el problema de la mochila 0/1
  Francisco Almeida Rodriguez, Casiano Rodríguez León, Félix César García López, Domingo Morales González, José Luis Roda García
  - Resumen
  págs. 213-221
- Factorización LU solapando comunicaciones y cálculos en un multicomputador toro
  Carmen Nieves Ojeda Guerra, Álvaro Suárez Sarmiento
  - Resumen
  págs. 223-232
- Algoritmos de ordenación paralela basados en la técnica divide y vencerás
  Francisco Almeida Rodriguez, R. Rodríguez, Casiano Rodríguez León, Félix César García López, José Luis Roda García, Domingo Morales González
  - Resumen
  págs. 233-244
- Herramientas de monitorización y análisis de comportamiento de sistemas paralelos de tiempo real
  Javier García Martínez, Joaquín Entrialgo, Francisco José Suárez Alonso, Daniel Fernando García Martínez
  - Resumen
  págs. 245-254
- REALCaSe: una herramienta para el dimensionado y ajuste de aplicaciones paralelas de tiempo real
  Santiago Graña Domínguez, Pedro de Miguel Anasagasti
  - Resumen
  págs. 255-264
- Implementación de una red reconfigurable en un sistema multi-nivel basado en transputers
  J. L. Sánchez, Francisco J. Alfaro Cortés, José Manuel García Carrasco
  - Resumen
  págs. 265-274
- Utilización de algoritmos basados en procesos naturales para la optimización de diagramas de decisión binarios
  Juan Antonio Gómez Pulido, Juan Manuel Sánchez Pérez
  - Resumen
  págs. 275-284
- Algoritmo A* para la determinación de secuencias óptimas de ensamblaje
  Carmelo del Valle Sevillano, Eduardo Fernández Camacho
  - Resumen
  págs. 285-294
- Un modelo de resolución de problemas NP-Completos basado en ADN
  Antonio Tomeu Hardasmal
  - Resumen
  págs. 295-304
- Comparación de la condición de Parikh con algunas condiciones de los lenguajes de contexto libre
  Javier López, Gonzalo Ramos Jimenez, Rafael Morales Bueno
  - Resumen
  págs. 305-314
- Asociación de gramáticas mediante modelos ocultos de Markov
  Miguel Lozano Ibáñez, Francisco Casacuberta Nolla
  - Resumen
  págs. 315-324
- Building an interpreter for label-selective λ-calculus
  Lourdes Climent Flores, Javier Oliver Villaroya, María Luisa Llorens Agost
  - Resumen
  págs. 325-337
- Aprendizaje automático en aplicaciones complejas: implicaciones para la enseñanza de Inteligencia Artificial
  Eduardo Pérez Pérez
  - Resumen
  págs. 339-348
- Educación e hipermedia
  Lina Guadalupe García Cabrera, M.L. Rivero Cejudo
  - Resumen
  págs. 349-358
- Consideraciones metodológicas de formación en informática técnica, desde un enfoque cognitivo
  Julio Terrón Pernía, Jesús Mª Benítez Mateo, Joaquín Moreno Marchal
  - Resumen
  págs. 359-368
- Metodología para el desarrollo de prácticas en un segundo curso de Estructuras de datos
  Jesús V. Albert Blanco, Francesc Josep Ferri Rabasa
  - Resumen
  págs. 369-378
- Análisis de un regulador heurístico para el control de un tanque líquido
  Ignacio Rojas Ruiz, M. Schaffner, Gonzalo Olivares Ruiz, Alberto Prieto Espinosa
  - Resumen
  págs. 379-388
- Estudio de una aplicación de las redes neuronales: diagnóstico de la dislipemia
  Rafaela Benitez Rochel
  - Resumen
  págs. 389-396
- Análisis del control del movimiento de un robot móvil
  Francisco Vegara Meseguer, Joan Pelechano Fabregat, Juan de Mata Domingo Esteve, Enrique Vicente Bonet Esteban, Xaro Benavent García
  - Resumen
  págs. 397-405
- Diseño de controladores borrosos mediante programación visual y análisis de estabilidad con la función descriptiva
  A. Consegliere, Manuel J. López Sánchez, Manuel Haro Casado
  - Resumen
  págs. 407-416
- Una metodología de diseño para hipermedia
  Alicia Plaza Fernández, Paloma Díaz Pérez, Ignacio Aedo Cuevas, Félix García Merayo
  - Resumen
  págs. 417-425
- Estudio comparativo del modelo de Abdel-Hamid/Madnick y el modelo de Draper
  Mercedes Ruiz Carreira
  - Resumen
  págs. 427-436
- Reingeniería del software: estudio de un caso
  Manuel A. Pardavila, Nieves R. Brisaboa, Eva Lorenzo Iglesias
  págs. 437-444
- Especificación, validación y verificación formal de un microscopio efecto-túnel
  Joaquín Nicolás Ros, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas Dalla-Vecchia
  - Resumen
  págs. 445-454
- Usando MINIX 1.5 como herramienta didáctica en la enseñanza de sistemas operativos microkernel
  Juan Carlos Díaz Martín
  - Resumen
  págs. 455-464
- Integración disciplinar y metodólogica de las enseñanzas de Estructura y Arquitectura de Computadores
  Ana Pont Sanjuán, María Luisa Rico Soliveres
  - Resumen
  págs. 465-473
- EVAPRO una herramienta CAL para la evaluación de algoritmos de planificación del procesador
  Luis Antonio Álvarez Llorente, M.A. Heredia, Pablo Juan Martínez Cobo, Juan Manuel Sánchez Pérez
  - Resumen
  págs. 475-484
- Diseño y evaluación de un procesador de red mediante un lenguaje de descripción de hardware
  Eva Martínez Ortigosa, Julio Ortega Lopera, Francisco J. Fernández, Alberto Prieto Espinosa
  - Resumen
  págs. 485-494
- Simulación del lenguaje ensamblador de un procesador RISC: Windeluxe
  Juan Touriño, G. Comesaña, Ramón Doallo
  - Resumen
  págs. 495-504
- Visualización en monitor VGA de imágenes con más de 10 bits de niveles de gris
  Vicente Arnau Llombart, Álvaro Pons, Alberto Adrian Palomares Chust, Francisco Miguel Micó Enguídanos, Marcelino Vicens Lorente
  - Resumen
  págs. 505-513
- Matrices de discos: modelado y evaluación del rendimiento
  Vicente Santonja, Javier Molero Prieto, Marina Alonso Díaz
  - Resumen
  págs. 515-523
- Separación ciega de fuentes: algoritmos de reconstrucción de señales
  Carlos García Puntonet, Manuel Rodríguez Álvarez, Alberto Prieto Espinosa
  - Resumen
  págs. 525-534
- Diseño de sistemas hardware soportado por técnicas formales
  Tomás Robles Valladares, Andrés Marín López, Carlos Delgado Kloos, Tomás Pedro de Miguel Moro
  - Resumen
  págs. 535-543
- Un sistema operativo para el sistema orientado a objetos integral Oviedo3
  Darío Álvarez Gutiérrez, Lourdes Tajes Martínez, Fernando Álvarez García, María Ángeles Díaz Fondón, Juan Manuel Cueva Lovelle, Raúl Izquierdo Castanedo
  - Resumen
  págs. 545-554
- Clasificación y comunicación de objetos en Concurrent Haskell
  Jose Enrique Gallardo Ruiz, Francisco Gutiérrez, Blas Carlos Ruiz Jiménez
  - Resumen
  págs. 555-564
- Propuestas para incorporar reusabilidad en un lenguaje basado en el modelo Occam-CSP
  Francisco Araque Cuenca, Manuel Capel Tuñón, José Miguel Mantas Ruiz, Alberto J. Palma López
  - Resumen
  págs. 565-574
- Composición de restricciones de sincronización en lenguajes concurrentes orientados a objetos
  Fernando Sánchez Figueroa, Juan Hernández Núñez, Manuel Barrena García, Juan Manuel Murillo Rodríguez, Antonio Polo Márquez
  - Resumen
  págs. 575-584
- Un modelo de sistemas híbridos orientado a la planificación de procesos concurrentes
  Augusto Burgueño Arjona, Frédéric Boniol
  - Resumen
  págs. 585-594
- Implementación de los tipos abstractos de datos SDL en un lenguaje lógico concurrente
  José Carlos Canal Velasco, Lidia Fuentes Fernández
  - Resumen
  págs. 595-604
- Un método para establecer una comunicación en entorno cliente-servidor: La arquitectura Cliente-Servidor está alcanzando
  Manuel A. Pardavila, Nieves R. Brisaboa, María Fernández Becerra
  - Resumen
  págs. 607-608
- Modelo de sistema de comunicación punto a punto tolerante a fallos
  Vicente Cerverón Lleó, Gregorio Martín Quetglás, Vicente Cavero Millán
  - Resumen
  págs. 609-610
- Propuesta de interfaz para la consulta de información local en computación móvil
  María Fernández Becerra, Nieves R. Brisaboa, José Ramón Paramá Gabia
  - Resumen
  págs. 611-612
- Una interfaz Word Wide Web a la base de datos léxica WordNet
  José María Gómez Hidalgo
  - Resumen
  págs. 613-614
- La informática al servicio de la literatura barroca
  Miguel Rodríguez Penabad, Nieves R. Brisaboa, Eva Lorenzo Iglesias
  - Resumen
  págs. 615-616
- Descripción de las características de una herramienta de validación de Sistemas Tolerantes a Fallos mediante una inyección física de falllos
  J. C. Baraza, Pedro Joaquín Gil Vicente, J. V. Bosch, F. J. Alonso
  - Resumen
  págs. 617-618
- Simulación de un bus de campo en un entorno Pc-Windows
  Beatriz Prieto Campos, José Luis Bernier Villamor, Antonio Francisco Díaz García, Alberto Prieto Espinosa
  págs. 619-620
- Desarrollo de un generador de interfaces gráficas de usuario de propósito general
  Elena Jarabo Ruiz, Ángel García Crespo, Almudena Sierra Alonso, Paloma Domingo García, Fernando Paniagua Martín
  - Resumen
  págs. 621-622
- Una aplicación de GIS en tráfico
  Dolores María Llidó Escrivá, Ramón Vicente Cirilo Gimeno, Pablo Barrachina Tortajada, Gregorio Martín Quetglás
  - Resumen
  págs. 623-624
- Entorno para el diseño intuituvo de veleros
  Humberto Martínez Barberá, Germán Villalba Madrid
  - Resumen
  págs. 625-626
- Desarrollo de un secuenciador de operaciones en un entorno paralelo aplicando la arquitectura cliente-servidor
  Montserrat Sendín Veloso, Jesús Lorés, Joan Granado Canales, Ferran Pelacals Sobrevías
  - Resumen
  págs. 629-631
- Comunicaciones en PVM:: algoritmos de ordenación
  J. Herrera, José Luis Roda García, Francisco Almeida Rodriguez, Casiano Rodríguez León, Daniel González, Félix César García López
  - Resumen
  págs. 633-634
- Asistente software para investigación en autómatas celulares
  Rafael Ruiz Rentero, Antonio Tomeu Hardasmal
  págs. 635-636
- Optimización global de redes neuronales con algoritmos geneticos con cromosomas de longiitud variable
  - Resumen
  págs. 637-638
- Desarrollo de una herramienta de elicitación del conocimiento basada en la técnica de emparrillado usando métrica CityBlock
  Nieves R. Brisaboa, José Ramón Paramá Gabia, Miguel Rodríguez Penabad
  - Resumen
  págs. 639-640
- La formación del auditor de sistemas de información
  Oscar Coltell Simón, Rafael Bernal Montañés
  - Resumen
  págs. 641-642
- Diseño orientado a objetos utilizando 4GLs
  Antonio de Amescua Seco, Javier García Guzmán, Juan Bautista Llorens Morillo, Ángel García Crespo
  - Resumen
  págs. 643-6444
- Una alternativa al paradigma imperativo para la iniciación del alumno en el arte de la programación
  José Antonio Jiménez Millán, María Eloísa Yráyzoz Díaz De Liaño, José Joaquín Aguilera García, Raquel Martínez Unanue
  - Resumen
  págs. 647-648
- Servidores de información WWW como apoyo a prácticas de ingeniería del software
  Joaquín Cervera Bravo, Luis Fernández Sanz, José A. Calvo-Manzano Villalón
  - Resumen
  págs. 649-650
- LFC: Un lenguaje como metodología de enseñanza
  José Luis Pastrana Brincones
  págs. 651-652
- Espejo multimedia: Una experiencia docente
  Luis Alves Martínez, Javier Rodeiro Iglesias, Jacinto González Dacosta
  - Resumen
  págs. 653-654
- HARD-MEDIA: Aplicación hipermedia-hipertexto-multimedia
  Amparo Rodríguez Damián, Jacinto González Dacosta, Manuel Pérez Cota
  - Resumen
  págs. 655-659

Acceso de usuarios registrados

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

Opciones de entorno

Sugerencia / Errata

Coordinado por: