Metabuscador

Filtrado por:

Temas

Idiomas

Español (162)
Inglés (78)
pt_BR (31)
en (13)
Portugués (12)
Más...

Recursos

RUA Docencia (46)
Unversidad Nacional de La Plata (39)
Escuela Politécnica Nacional (33)
Universidad de Guayaquil (20)
Informação Tecnológica en Agricultura (Infoteca-e) (19)

Más...

Año

2012 (50)
2010 (27)
2008 (19)
2007 (23)
2006 (13)
2005 (10)
Más...

Aproximadamente 324 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Uma introdução a tecnologia de reflexão Java.
EVANGELISTA, S. R. M.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Aplicação da JNI - Java Native Interface - na construção da ferramenta ServCLIPS.
CRUZ, S. A. B da.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Linguagem de programação Java. Java native interface (JNI). Ferramenta ServCLIPS:um exemplo de uso da JNI., 2001, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

New algorithms for a java decompiler and their implementation in Soot
Miecznikowski, Jerome

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis presents Dava, a Java bytecode to Java source code decompiler built on top of the Soot framework., The Java Virtual Machine Specification of valid bytecode is much less restrictive than the Java Language Specification of valid Java source…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

Animación y Visualización de Fenómenos Naturales
Suárez Roldán, Pamela Karla

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Esta tesis tiene como objetivos el estudio de modelos para la animación y visualización de fenómenos naturales y la elaboración de una aplicación para explicar estos fenómenos. Los temas principales son la visualización y la animación por
Fecha:	2003-01-14
Recurso:	CIRIA

Recurso libre

Creating a Distributed Web Application in Java Using EJB and JSP
GHERMAN, Alexandru; “Iuliu Haţieganu” University of Medicine and Pharmacy, Cluj-Napoca, România

Formato:	Peer-reviewed Article
Enlaces:	This paper presents an easier way of creating a medicine web application in Java. It describes the concepts of JavaBean, Enterprise Java Bean and Java Server Pages and the way we can use them for producing a collection of medicine…
Fecha:	2011-01-18
Recurso:	Applied Medical Informatics

Recurso libre

Realidad virtual aplicada al tratamiento del trastorno de lateralidad y ubicación espacial
Fuentes Kraffczyk, Joaquín Federico

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Específicamente dentro de este proyecto se realiza un análisis y una recolección de requerimientos tanto de usuario como funcionales, y se investiga plenamente las necesidades que una aplicación basada en realidad virtual debe cubrir para que pueda ser…
Fecha:	2003-05-14
Recurso:	CIRIA

Recurso libre

Fabrica de software orientada a servicios con herramientas Java
Romero Redondo, Anselmo Guillermo

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

Programa em linguagem JAVA para comunicação serial.
RABELLO, L. M.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2009
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Implementação Java do filtro de Marr e Hildreth para detecção de bordas.
MIRANDA, J. I.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo desta publicação é apresentar a implementação Java do algoritmo de Marr e Hildreth (Marr & Hildreth, 1980) para a detecção de bordas. O objetivo maior das implementações é a construção de uma biblioteca de processamento de imagens em…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

10.

Inférence statique et par contraintes des relations de composition dans des programmes Java
Habti, Norddin

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
Fecha:	2012-05-28
Recurso:	Université de Montreal

Recurso libre

11.

Implementação da transformada de Fourier com o Java Advanced Imaging.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetuvo deste comunicado é apresentar a implementação Java da transformada discreta de Fourier e sua inversa, usando a biblioteca Java Advanced Imaging (JAI), para mapeamento entre os domínios espacial e de frequência em imagens digitais., 2006, Acesso em: 28…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

12.

Control de un Motor de CD para experimentos en Ing. en Alimentos vía Internet2
Bautista Serrano, Miguel

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Esta tesis es parte del proyecto "Internet-Assisted Remote Experiments in Teaching Food and Biochemical" y que está desarrollada con la colaboración de la Universidad de California en Davis y la UDLA. El objetivo del proyecto es permitir a…
Fecha:	2003-05-14
Recurso:	CIRIA

Recurso libre

13.

Learning Difficulties of 'Object-oriented Programming Paradigm Using Java': Students' Perspective
Sivasakthi, M.; Department of Education, NITTTR, Chennai-600113 - Rajendran, R.; Department of Education, NITTTR, Chennai-600113

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article
Enlaces:	Java programming is popular both in Academia and IT Industry. Further, it is the maximum usage of programming across the world. There is a wide edge between industry expectations and knowledge of students in Java programming. Teaching and learning of…
Fecha:	2011-08-01
Recurso:	Indian journal of science and technology

Recurso libre

14.

A French Vocabulary Tutor for the Web
Labrie, Gilles

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, ,
Enlaces:	This article discusses a project to design and implement a small French vocabulary tutor for the World Wide Web. The tutor includes words, pictures, and sounds to help students learn new words and their pronunciation. The article highlights salient features…
Fecha:	2013-01-14
Recurso:	Calico Journal

Recurso libre

15.

Java Real Time: un enfoque de desarrollo de los sistemas distribuidos en tiempo real
Reyes Maza, Luis Alberto

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

16.

Libros: Orchids of Java
Soto,M.A.

Formato:	Article
Enlaces:	Descripción completa.
Fecha:	2011-07-29
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

17.

Formatação de dados usando a ferramenta Velocity.
CRUZ, S. A. B. da - MOURA, M. F.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Origem e características; Arquitetura. Funcionamento e esquema de uso. Linguagem VTL. Aplicação Java. Configuração da Velocity. Trecho de código fonte Java exemplificando o uso da ferramenta Velocity. Trecho de template em VTL relativo ao item anterior., 2002, Acesso em: 29…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

18.

Desarrollo de una aplicación web para la gestión de flotas de transporte terrestre para la compañía Tramaco Express Cía. Ltda.
Jiménez Jiménez, Jonnathan Stalin - Verdezoto Bósquez, Rocío Maribel

Formato:	Thesis
Enlaces:	El presente proyecto tiene como objetivo el desarrollo de una aplicación web para la compañía Tramaco Express Cía. Ltda., la misma que apoya en la administración de la flota vehicular e insumos como: el registro de personal (propietarios de vehículos,…
Fecha:	2013-09-17
Recurso:	Escuela Politécnica Nacional

Recurso libre

19.

The Hebrewer: A Web-based Inflection Generator
Foster, James Q. - Foster Harrell, Lane - Raizen, Esther

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, ,
Enlaces:	This paper reports on the grammatical and programmatical production aspects of the Hebrewer, a cross-platform web-based reference work in the form of a Hebrew inflection generator. The Hebrewer, a Java applet/servlet combination, is currently capable of generating 2,500 nouns in…
Fecha:	2013-01-14
Recurso:	Calico Journal

Recurso libre

20.

Monitoreo de parámetros eléctricos de un motor de inducción y control del motor para experimentos de ingeniería en alimentos vía Internet 2
Albores Mejía, Aarón

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El presente trabajo propone un sistema de medición, monitoreo y corrección del factor de potencia utilizando un método de corrección pasivo para motores monofásicos vía Internet. Contempla una etapa de acoplamiento del voltaje y la corriente hacia un
Fecha:	2003-05-14
Recurso:	CIRIA

Recurso libre

21.

Java Implementation and Performance Evaluation of Some Cryptographic Ciphers under WinXP and Linux Operating System Platforms
kofahi, Najib A.

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	In this article we present a performance comparison of four symmetric block ciphers namely DES, Triple-DES, AES, and Blowfish. Performance evaluation based on CPU execution time is conducted under WinXP and Ubuntu /Linux version 8.10 operating system platforms. The study…
Fecha:	2013-04-30
Recurso:	Information and knowledge management

Recurso libre

22.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces)
Díaz, Javier F. - Queiruga, Claudia Alejandra - Iuliano, Pablo José

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…
Fecha:	2012-09-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

Unidad 8. Frameworks (curso 2011-2012)
Rizo Valero, David

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

24.

Seminario de introducción a Java
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

25.

On the genus Acantholybas Breddin (Insecta: Heteroptera: Coreidae: Colpurini), with description of one new species from Java.
Brailovsky, H.

Formato:	Artículo, Trabajo de investigación original
Enlaces:	Acantholybas steinbaueri, a brachypterous new species, is described and illustrated from Java (Bali Island and Dammerman). The genus Acantholybas is redescribed, and a key to the four known species is provided.
Fecha:	2013-11-22
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

26.

Filtro de difusão linear complexa para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é mostrar a implementação Java do filtro de difusão linear complexa para a detecção de bordas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

27.

Interfaz gráfica programada en Java para un prototipo de un estacionamiento automatizado
Acosta Lira, Oscar

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2013-08-20
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

28.

Spark : a flexible points-to analysis framework for Java
Lhoták, Ondr̆ej

Formato:	Electronic Thesis or Dissertation
Enlaces:	Many compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique for computing this information that has been studied extensively over the last decade. Most of this research…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

29.

VisualJVM: a visual tool for teaching Java technology
Garrido Abenza, Pedro Pablo - Ledesma Latorre, Bernardo - Grediaga Olivo, Ángel

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…
Fecha:	2009-10-29
Recurso:	RUA Docencia

Recurso libre

30.

Ambiente virtual interativo com colisão de deformação de objetos para treinamento médico utilizando a API Java
kera, Marcello

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2011-08-26
Recurso:	Universidade Federal do Parana

Recurso libre

31.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces) con soporte para clientes heterogéneos
Iuliano, Pablo José

Formato:	Tesis, Tesis de grado
Enlaces:	Descripción completa.
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

32.

Módulo manejador de presentación para la plataforma Java de transacciones electrónicas jPOS
Paoletti, Jerónimo

Formato:	Tesis, Tesis de grado
Enlaces:	jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583. Hoy por hoy es el framework para el desarrollo de Sistemas…
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

SEAsite: Web-based Interactive Learning Resources for Southeast Asian Languages and Cultures
Henry, George - Zerwekh, Robert

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, ,
Enlaces:	SEAsite is a web-based interactive learning resource site for Southeast Asian Languages (Indonesian, Tagalog, Thai, Khmer, Lao, Burmese, and Vietnamese). Its language learning materials feature second language (L2) script support, streaming audio, pictures, and interactive exercise types that allow learners…
Fecha:	2013-01-14
Recurso:	Calico Journal

Recurso libre

34.

Filtro de difusão complexa não-linear para atenuação de ruídos: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Filtro de difusão complexa não linear. Aspecto da implementação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

35.

Curvatura da superfície de proteínas no Java Protein Dossier.
FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

36.

Region Type Checking for Core-Java
Chin, Wei Ngan - Qin, Shengchao - Rinard, Martin C.

Formato:	Article
Enlaces:	Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

37.

Proposal of fuzzy object oriented model in extended JAVA
Pereira, Wilmer

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…
Fecha:	2012-11-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Diseño e implementación de un sistema multiplataforma de monitorización y administración de red, con interfaz web para el usuario y utilizando el protocolo SNMPv3
Castañeda Villarreal, Fausto Vinicio

Formato:	Tesis
Enlaces:	En el presente proyecto se realiza el diseño y la implementación de un sistema de administración de red, el cual se enfoca en la utilización del protocolo SNMPv3, con el fin de ofrecer mejores prestaciones en cuanto a la seguridad…
Fecha:	2011-02-23
Recurso:	Escuela Politécnica Nacional

Recurso libre

39.

Inheritance, Generics and Binary Methods in Java
Barrón-Estrada,María Lucía - Stansifer,Ryan

Formato:	journal article
Enlaces:	Java has adopted a mechanism to support parameterized types that will be available in the next major release. A draft specification to add generics to the JavaTM Programming Language was published two years ago [1] and a new version of…
Fecha:	2003-12-01
Recurso:	SCIELO

Recurso libre

40.

BANZAI: An Application of Natural Language Processing to Web-based Language Learning
Nagata, Noriko

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, ,
Enlaces:	This paper presents BANZAI, a new intelligent language tutor program developed by the author over the past two years. The BANZAI application is programmed in Java and runs in a web browser over the Internet. It is designed to develop…
Fecha:	2013-01-14
Recurso:	Calico Journal

Recurso libre

41.

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 19 de Julio al 16 de Agosto de 2003
Fecha:	2003-07-02
Recurso:	Universidad de los Andes Venezuela

Recurso libre

42.

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 7 de Junio al 5 de Julio de 2003
Fecha:	2003-05-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

43.

Filtro Schen-Castan (ISEF) para detecção de borda.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Com esta publicação, dá-se prosseguimento na implementação de algoritmos úteis para a detecção de bordas, atividade importante também no campo de visão por computador. O objetivo maior dessas implementações é a constituição de uma biblioteca de processamento de imagens em…
Fecha:	2009-03-17
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

44.

iDESWEB: JavaScript: sintaxis básica
García Reillo, Eduardo - Luján Mora, Sergio (coord.)

Formato:	learningObject
Enlaces:	La sintaxis de JavaScript es similar a C++ y Java, separación de sentencias (punto y coma), declaración de variables (var), tipos de datos, sentencias condicionales (if, else, switch), sentencias de repetición (for, do, while)., Sitio web del curso: http://idesweb.es/
Fecha:	2013-02-15
Recurso:	RUA Docencia

Recurso libre

45.

Un workflow basado en Java para la gestión documental
Arsaute, Ariel - Aguirre, Gustavo Ignacio - Riesco, Daniel Eduardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Un Workflow es la automatización parcial o total del proceso de negocio, con el objetivo de lograr interacción de diversas actividades realizadas por personas y máquinas. Los SGD (Sistemas de Gestión Documental) son sistemas dedicados a incrementar el rendimiento y…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

Una infraestructura para la implementación de aplicaciones distribuidas en Internet
Bustamante Sandoval, Pablo

Formato:	Tesis
Enlaces:	Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada a permitir que todos los usuarios de Internet sean capaces de participar en la ejecución de aplicaciones distribuidas, usando una…
Fecha:	2011-10-03
Recurso:	Universidad San Francisco de Quito

Recurso libre

47.

JavaVis: presentación
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Presentación de la herramienta con los aspectos más importantes de la misma.
Fecha:	2010-11-03
Recurso:	RUA Docencia

Recurso libre

48.

High performance Java for multi-core systems
Ramos Garea, Sabela

Formato:	text (thesis)
Enlaces:	The interest in Java within the High Performance Computing (HPC) community has been rising during the last years thanks to its noticeable performance improvements and its productivity features. In a context where the trend to increase the number of cores…
Fecha:	2013
Recurso:	Dialnet (Tesis)

Recurso libre

49.

An Object-Oriented Approach To Generate Java Code From Hierarchical-Concurrent and History States
Abidi, Abidi My; Moulay Ismaïl University - Jakimi, Abdeslam; Technics in Errachidia, Moulay Ismail University - Alaoui, Rachid; Moulay Ismaïl University - El Kinani, El Hassan; Moulay Ismaïl University

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	UML is widely accepted and practiced in industries for modeling and design of software systems. Software requirements and design are very important parts of software development. UML State Machine diagram is an important formalism to model the dynamic behavior of…
Fecha:	2013-12-02
Recurso:	International journal of information and network security

Recurso libre

50.

Seminario: el entorno de desarrollo Eclipse
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Descripción del entorno de desarrollo Eclipse para Java, con actividades a realizar para conocer sus características.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

51.

Práctica 1. Gráficos Vectoriales con SVG (curso 2011-2012) (versión 11.09.12)
Rizo Valero, David

Formato:	learningObject
Enlaces:	Enunciado de la práctica 1. Se trata de implementar en Java una clase sencilla. Se proporciona una implementación en C++ de referencia.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

52.

Migración de código en ambientes distribuidos
García Martín, Santiago

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario de la presentación: I. Definición del Problema II. Conceptos Generales III. Debug IV. Sistema de carga de clases en Java V. AgletClassLoader VI. Entendiendo la Excepción VII. Resolviendo el problema VIII.Conclusión
Fecha:	2011-05-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

53.

Rotâmeros raros no Java Protein Dossier.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - OLIVEIRA, S. R. de M. - HIGA, R. H. - SANTOS, E. H. dos - MAZONI, I. - VIEIRA, F. D. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo do STING é oferecer uma plataforma para análise e visualização de estruturas proteicas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

54.

Apresentação gráfica de parâmetros protéicos utilizando o Java Protein Dossier.
HIGA, R. H. - BAUDET, C. - FALCÃO, P. K. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Parâmetros apresentados pelo JPD. Sequência de resíduos. Contatos. Contatos internos. Contatos na interface. Estrutura secundária. Dupla ocupância. Fator de temperatura. Entropia relativa. Confiabilidade. Acessibilidade de resíduos. Ângulos de torsão. Potencial eletrostático. Curvatura na superfície. Hidrofobicidade. Analisando com maior detalhes os…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

55.

Identificando Pockets na superfície protéica usando o Java Protein Dossier - JPD.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - HIGA, R. H. - SANTOS, E. H. dos - JARDINE, J. G. - MAZONI, I. - OLIVEIRA, S. R. de M. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2005, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

56.

Comparativo do Plone com gerenciadores de conteúdo em PHP, Java e Python.
ROMANI, L. A. S. - CAMPOS, L. A. de.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Definição e estrutura de CMS. Plataformas de desenvolvimento: PHP. Java. Python; Gerenciador de Conteúdo-Plone. Comparativo de Plone com outros gerenciadores., 2005, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

57.

Dynamic profiling and trace creation
Berndl, Marc

Formato:	Electronic Thesis or Dissertation
Enlaces:	Effective dynamic virtual-machine optimization depends on quickly finding and optimizing frequently-executed code regions. Such regions are naturally represented with a trace-cache, a collection of long, frequently-executed sequences of instructions. An ideal trace-cache is small and captures the majority of the…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

58.

Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…
Fecha:	2013-06-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

59.

Herramienta generadora de aplicaciones web con arquitectura MVC en Java
Ayala León, Kleber Eduardo - Hinjosa Alvear, Arturo Xavier

Formato:	Tesis
Enlaces:	El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…
Fecha:	2009-07-13
Recurso:	Escuela Politécnica Nacional

Recurso libre

60.

Desarrollo de aplicación de Marketing
BRAVO CARPIO, JOSÉ LUÍS - MENA VARGAS, ISAAC JAVIER - VERA MORENO, MILTON RENÉ

Formato:	Thesis
Enlaces:	La aplicación Marketing versión 1.0 fue desarrollado con la finalidad de sistematizar estrategias de marketing de pequeñas y medianas empresas. Además contempla el desarrollo de una página Web para realizar marketing electrónico. Este proyecto fue desarrollado utilizando Tecnología Open Source,…
Fecha:	2013-10-02
Recurso:	Universidad de Guayaquil

Recurso libre

61.

Implementación de componentes multi-propósito y un entorno de desarrollo
Ortega, Alfredo - Cerra, José P. - Rosanigo, Zulema Beatriz - Bramati, Pedro - Paur, Alicia Beatriz

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

62.

INTERFAZ GRAFICA EN JAVA COMO RECURSO DIDACTICO PARA LA ASIGNATURA DE TEORIA DE CONTROL II
REYES SALDANA, JOSE FRANCISCO

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2013-02-27
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

63.

RTL modeling and simulation using JAVA
Ohana, Eric - Luca, Cristina L.

Formato:	Conference Paper
Enlaces:	This paper presents a JAVA based framework for RTL modeling and simulation of digital hardware designs. After linking between object-oriented concepts and RTL models, the JAVA analogy to features found in a widely used hardware description language like Verilog is…
Fecha:	2013-09-16
Recurso:	Anglia Ruskin University

Recurso libre

64.

Sobre la construcción de compiladores en java
Schmidt, Mariano - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En el marco de las ciencias de la computación, el área de construcción de compiladores ha logrado un estado relativamente maduro de desarrollo, tanto en aspectos teóricos como en aplicaciones prácticas. Este grado de desarrollo se hace evidente en las…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

65.

Web services
Pavan, Willingthon - Agnol, Giovani Dall

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes linguagens e que necessitam trocar informações e recursos entre…
Fecha:	2012-10-23
Recurso:	Unversidad Nacional de La Plata

Recurso libre

66.

Manual de prácticas de robótica móvil programadas en Java utilizando el Kit Lego Mindstorms
Castro Estrada, Esteban Antonio

Formato:	Trabajo Recepcional
Enlaces:	Tesina presentada a la Facultad de Instrumentación Electrónica y Ciencias Atmosféricas de la Universidad Veracruzana, Región Xalapa.
Fecha:	2012-11-09
Recurso:	Universidad Veracruzana

Recurso libre

67.

Filtro de Canny para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é apresentar a implementação JavaTM do filtro para detecção de bordas de Canny (Canny, 1986). A implementação é uma necessidade de uso em projetos desenvolvidos na Embrapa Informática Agropecuária na área de processamento de imagens aplicado…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

68.

Evento: Curso de JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, del 26 al 30 de Mayo de 2003
Fecha:	2004-02-06
Recurso:	Universidad de los Andes Venezuela

Recurso libre

69.

Influence of Teamwork, Environment on Job Satisfaction and Job Performance of the Cigarette Rollers at Clove Cigarette Factories in East Java, Indonesia
., Musriha

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	This research examines the influence of teamwork, working environment on job satisfaction and job performance of Clove Cigarette Factories in East Java, Indonesia. This study was a survey research used for the explanatory or confirmatory purpose. The research was used…
Fecha:	2013-02-28
Recurso:	Developing country studies

Recurso libre

70.

Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL
Ascari, Luciano Cesar

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2009-10-02
Recurso:	Universidade Federal do Parana

Recurso libre

71.

Um algoritmo evolutivo de geração de dados de teste para satisfazer critérios baseados em códigos objeto Java
Araki, Lucilia Yoshie

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2009-11-09
Recurso:	Universidade Federal do Parana

Recurso libre

72.

Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode
Medel, Ricardo - Martínez Spessot, Cesar Ignacio - Vázquez, Juan C. - Giagante, Ignacio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…
Fecha:	2012-08-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

73.

A Framework of Concurrent Mechanism Based on Java Multithread
Jiang, Wuxue; Dongguan Polytechnic - Li, Qi; Dongguan Polytechnic - Wang, Zhiming; Huaihua Vocational and Technical College - Luo, Jianfeng; Dongguan Polytechnic

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
Enlaces:	The continuously increased demand for paralleling multitask in domains such as grid computing and cloud computing has significantly promoted research on concurrent mechanism and concurrent programming. The Java programming language supports multithread mechanism for developing paralleling programs, however, it is…
Fecha:	2013-09-01
Recurso:	TELKOMNIKA: Indonesian journal of electrical engineering

Recurso libre

74.

Implementation of an information retrieval system for stock option analysis
Lu, Xiaofan

Formato:	Electronic Thesis or Dissertation
Enlaces:	Stock option trading has been very active since options were invented. Option analysis is very useful in helping investors decide investing strategies and predict the trend of the future stock movements. In this thesis, basic theory about stock option trading…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

75.

Calculating the probability of an LTL formula over a labeled Markov chain
Eliosoff, Jacob

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis presents a new algorithm to compute the probability that a state in a labeled Markov chain model satisfies an LTL specification. A solution to this problem was given by Courcoubetis & Yannakakis in 1995, but unlike their solution…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

76.

Conectividad de Java con bases de datos mediante invocación de objetos con métodos remotos (objetos RMI)
Daladier Jabba Molinares; Universidad del Norte - Maureen Alies Fuentes; Universidad del Norte - John Pinto Molina; Universidad del Norte - Marirosa Buendía Rodríguez; Universidad del Norte - Julio Cesar Ceballos Salazar; Universidad del Norte

Formato:	,
Enlaces:	El desarrollo de aplicaciones distribuidas está teniendo cada vez más auge entre las empresas del mundo; esto se debe a la gran importancia que ha adquirido el Internet en los últimos años. Para dar solución a esta necesidad surgen arquitecturas…
Fecha:	2011-07-28
Recurso:	Ingeniería y desarrollo

Recurso libre

77.

CHARACTERISTICS OF CLASS COLLABORATION NETWORKS IN LARGE JAVA SOFTWARE PROJECTS
Savić, Miloš - Ivanović, Mirjana - Radovanović, Miloš

Formato:	Peer-reviewed
Enlaces:	Understanding software structural complexity and evolution plays an important role in controlling the software development and maintenance process. Recent studies have shown that the theory behind complex networks, especially the theory of scale-free networks, can be a useful approach to…
Fecha:	2011-03-22
Recurso:	Information technology and control

Recurso libre

78.

Modélisation des bi-grappes et sélection des variables pour des données de grande dimension : application aux données d’expression génétique
Chekouo Tekougang, Thierry

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Le regroupement des données est une méthode classique pour analyser les matrices d'expression génétiques. Lorsque le regroupement est appliqué sur les lignes (gènes), chaque colonne (conditions expérimentales) appartient à toutes les grappes obtenues. Cependant, il est souvent observé que des…
Fecha:	2013-01-24
Recurso:	Université de Montreal

Recurso libre

79.

Gap Analysis on Existing Condition of Pantura Industry Management, East Java
Santosa, Budi - ., Soemarno - Rachmansyah, Arief - D.O, Surjono

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	The purpose of this study is to overview the gap between the theory and the existing condition towards Eco Industrial Park in the North Coast Region, East Java Province. We used gap analysis method. The result shows that industrial area…
Fecha:	2013-12-30
Recurso:	Developing country studies

Recurso libre

80.

Entornos para usar BPM en aplicaciones JAVA: un análisis comparativo
Díaz, Javier F. - Bazán, Patricia - Queiruga, Claudia Alejandra - Gotelli, Héctor Gabriel - Rodríguez, Facundo Martín

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La gestión de los procesos de negocio o BPM (Business Process Management) es una metodología empresarial que permite representar las actividades de los procesos de negocios y las restricciones que se aplican sobre ellas. Automatizar esta tarea conlleva el beneficio…
Fecha:	2012-08-15
Recurso:	Unversidad Nacional de La Plata

Recurso libre

81.

Automated Erythema Quantification in Radiation Therapy - a Java Based Tool
PUTORA, Paul Martin; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland. - PAULIS, Ludovit; Institute of Pathophysiology, School of Medicine, Comenius University and Institute, Slovakia. Center for Cardiovascular Research, Charité-Universitätsmedizin, Berlin, Germany. - PLASSWILM, Ludwig; Department of Radiation-Oncology, Kantonsspital St. Gallen, 9007 St. Gallen, Switzerland.

Formato:	Peer-reviewed Article
Enlaces:	Introduction: In radiotherapy, erythema is a common side-effect, especially during radiotherapy treatment regimes that last several weeks. The measurement of erythema might be of clinical relevance, especially when standardized interpretation is possible. Aim: The aim of this article is to…
Fecha:	2011-02-10
Recurso:	Applied Medical Informatics

Recurso libre

82.

Java based optics virtual laboratory as a support to the teaching of optics in technical degrees
Bleda Pérez, Sergio - Neipp López, Cristian - Márquez Ruiz, Andrés - Torrejón Vázquez, José Miguel - Beléndez Vázquez, Augusto

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	In this work an optics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of optics. The applets have the advantage…
Fecha:	2009-02-10
Recurso:	RUA Docencia

Recurso libre

83.

Diseño y construcción de una máquina duplicadora de llaves autónoma, a partir de una máquina duplicadora manual
Arévalo Sánchez, Jorge Eduardo - Paredes Regalado, Alfredo Israel

Formato:	Thesis
Enlaces:	Este proyecto presenta la alternativa de realizar el duplicado de llaves del tipo plana de forma automática, que a diferencia de una máquina duplicadora manual que utiliza la llave original como modelo, éste emplea una fotografía de la llave que…
Fecha:	2013-08-23
Recurso:	Escuela Politécnica Nacional

Recurso libre

84.

Plataformas para desarrollo de sistemas multiagente
Marchetti, Tulio José - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo de esta línea de trabajo es el desarrollo de una plataforma para la construcción de sistemas multiagente. Como parte de esta investigación se desean analizar plataformas ya existentes en la literatura. En particular en este trabajo se presentan…
Fecha:	2012-09-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

85.

JavaVis: una librería para visión artificial en Java
Cazorla Quevedo, Miguel Ángel - Colomina Pardo, Otto - Compañ Rosique, Patricia - Escolano Ruiz, Francisco - Zamora, José Luis

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	En este artículo se describe JavaVis, una librería de visión artificial escrita en Java y desarrollada en el Departamento de Ciencia de la Computación e Inteligencia Artificial de la Universidad de Alicante. Esta librería presenta una serie de ventajas: portabilidad,…
Fecha:	2009-11-11
Recurso:	RUA Docencia

Recurso libre

86.

Sistema que simule conocimiento humano con voz “SEUZ”
ALARCON ACOSTA, DARIO PATRICIO

Formato:	Thesis
Enlaces:	El sistemas SEUZ el cual implementa dos nuevas tecnologías no explotadas hasta el momento que son el reconocimiento de voz y la sintetización de voz sólo en países desarrollados como EEUU. Han sido implementadas estas tecnologías tanto como el mundo…
Fecha:	2013-08-21
Recurso:	Universidad de Guayaquil

Recurso libre

87.

Modelización y estudio experimental de sistemas distribuidos de tiempo real
Miaton, Ivana Carla - Pesado, Patricia - De Giusti, Armando Eduardo - Bertone, Rodolfo Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Investigar experimentalmente diferentes modelos de sistemas distribuidos, estudiando especialmente la migración dinámica de procesos y datos, así como el comportamiento de redes móviles en procesos de tiempo real. Los temas fundamentales propuestos en el proyecto se refieren al desarrollo de…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

88.

APLICACIÓN MÓVIL PARA ADMINISTRACIÓN DE BASE DE DATOS ORACLE
MIRANDA TORRES, VANESSA JHOANNA

Formato:	Thesis
Enlaces:	La información es un recurso muy importante en la empresa, el DBA es el responsable de la Base de Datos que se maneja en ella, el objetivo de esta investigación es realizar la Administración de la Base de Datos Oracle…
Fecha:	2013-11-06
Recurso:	Universidad de Guayaquil

Recurso libre

89.

Genetic Transcript Analyzer
Silva, Jesse Teixeira da

Formato:	Dissertação
Enlaces:	Resumo: Atualmente, com as inúmeras tecnológicas disponíveis para sequenciamento de transcritos, o problema consiste no número de ferramentas computacionais para a análise de dados. Neste trabalho apresentamos o desenvolvimento do Genetic Transcript Analyzer (GTA), uma nova ferramenta para comparação de…
Fecha:	2013-10-07
Recurso:	Universidade Federal do Parana

Recurso libre

90.

Desarrollo de una biblioteca de clases para manejo de la interfaz gráfica de aplicaciones móviles basadas en la plataforma Java Micro Edition
Oquendo Romero, Carlos Andrés

Formato:	Thesis
Enlaces:	El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…
Fecha:	2011-10-10
Recurso:	Escuela Politécnica Nacional

Recurso libre

91.

Constructive learning for networks courses based on compact simulations and SCORM
Gil Vázquez, Pablo - Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…
Fecha:	2011-04-13
Recurso:	RUA Docencia

Recurso libre

92.

Material adicional de prácticas
Viejo Hernando, Diego - Colomina Pardo, Otto - Cazorla Quevedo, Miguel Ángel

Formato:	software
Enlaces:	Material suministrado en prácticas.
Fecha:	2011-05-19
Recurso:	RUA Docencia

Recurso libre

93.

Unidad 7. Reflexión (curso 2011-2012)
Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Unidad 7: Reflexión.
Fecha:	2011-11-15
Recurso:	RUA Docencia

Recurso libre

94.

Desarrollo de Software para análisis bidimensional de Transferencia de Calor en estado estable medi
Escudero Guevara, David Roberto

Formato:	Tesis
Enlaces:	En este trabajo se ha desarrollado, con fines didácticos y de investigación, un programa computacional para analizar problemas bidimensionales de transferencia de calor en estado estable mediante el método de los elementos finitos. La codificación del programa se realizó utilizando…
Fecha:	2011-10-12
Recurso:	Universidad San Francisco de Quito

Recurso libre

95.

Sistema Académico Integrado Módulo: Apariencia Dinámica Web
ARIAS DOMÍNGUEZ, MARJORIE TATIANA - MACÍAS TULCÁN, JULIA ELIZABETH - MALDONADO CABRERA, MARCOS ALFREDO

Formato:	Thesis
Enlaces:	El proyecto Apariencia Dinámica Web, fue desarrollada para proveer el servicio de diseño de las páginas y estandarización de las mismas, para que el usuario tenga un proyecto a su gusto y con los colores y diseños que el prefiera,…
Fecha:	2012-07-10
Recurso:	Universidad de Guayaquil

Recurso libre

96.

Proyecto Sistema Académico - Modulo FORO
BÉJAR VÍCTORES, KARINA ALEXANDRA - DESIDERIO VERA, CARLOS FABRICIO - ZHUMA CARRIÓN, KAROL ROCÍO

Formato:	Thesis
Enlaces:	El Módulo Foro esta desarrollado para mejorar la comunicación entre alumnos y profesores, los mismos que permitirá a los alumnos realizar consultas, expresar sus inquietudes y discutir sobre diferentes temas relacionados directamente con las materias escogidas. Esta aplicación fue diseñada…
Fecha:	2012-07-10
Recurso:	Universidad de Guayaquil

Recurso libre

97.

Métricas 00 aplicadas a código objeto java
Utsunomiya, Carla Tiaki

Formato:	Teses e Dissertações
Enlaces:	Resumo: Na busca de melhorias no processo de desenvolvimento de software para a obtenção de um produto de qualidade, várias métricas têm sido propostas, com as quais pode-se gerenciar este processo e detectar falhas de projeto. As métricas de software…
Fecha:	2011-02-04
Recurso:	Universidade Federal do Parana

Recurso libre

98.

Sistema de diagnóstico de líneas telefónicas de Andinatel S.A.
Cruz Acosta, Santiago David - Jarrín Valverde, Christopher Rodrigo

Formato:	Tesis
Enlaces:	El Sistema de Diagnóstico de Líneas Telefónicas de Andinatel S.A, "DiagTel© 2009", fue desarrollado con el objetivo de emitir el estado operacional de la red de telefonía fija de dicha empresa, proporcionando información útil para los técnicos encargados de solucionar…
Fecha:	2010-02-03
Recurso:	Escuela Politécnica Nacional

Recurso libre

99.

Abstract Certification of Java Programs in Rewriting Logic
Alba Castro, Mauricio Fernando

Formato:	text (thesis)
Enlaces:	In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e.…
Fecha:	2011
Recurso:	Dialnet (Tesis)

Recurso libre

100.

Step: a framework for the efficient encoding of general trace data
Brown, Rhodes Hart Fraser

Formato:	Electronic Thesis or Dissertation
Enlaces:	Program tracing is a common technique employed by software and hardware developers who are interested in characterizing the dynamic behavior of complex software systems. However, despite the popularity of trace-driven analyses, there are surprisingly few options for encoding trace data…
Fecha:	2003
Recurso:	McGill University - MCGILL