Metabuscador

Filtrado por:

Temas

Idiomas

Español (148)
Inglés (76)
Portugués (23)
pt_BR (12)
en (10)
Más...

Recursos

Más...

Año

2012 (88)
2011 (35)
2009 (15)
2008 (16)
2006 (14)
2004 (13)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Utilización de un joystick económico en una interfaz de teleoperación basada en Java
Candelas Herías, Francisco Andrés - Puente Méndez, Santiago Timoteo - Torres Medina, Fernando - Pomares Baeza, Jorge

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	En los últimos años se han desarrollado bastantes laboratorios virtuales para la simulación y teleoperación de robots orientados a la docencia, que permiten a numerosos grupos de alumnos realizar prácticas de robótica, sin que la institución docente deba afrontar los…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

SISTEMA DE GESTIÓN DE PROYECTOS.- MÓDULO DE CONTROL DE PRESUPUESTOS Y COSTOS DEL PROYECTO
GILER RODRÍGUEZ, NORKA MARÍA - PRECIADO MAILA, DÉBORA KAYALA

Formato:	Thesis
Enlaces:	El Módulo de Control Presupuesto y Costos del Proyecto fue realizado para el cálculo de los costos que intervienen en un proyecto y la correcta administración del presupuesto que se le asigna a sistemas. Esta aplicación fue diseñada usando arquitectura…
Fecha:	2013-10-04
Recurso:	Universidad de Guayaquil

Recurso libre

JBLIF, a tool for non-interference analysis of java and java bytecode programs
Cavadini, Salvador V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Verificación modular de atomicidad en bytecode Java Multi-Thread
Bavera, Francisco

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

“Gestor de Proyectos Informáticos” Módulo de Personalización, Administración de Usuarios y Seguridades
GUERRERO AGUIRRE, AMADA JUDITH - FARIAS VARGAS, JORGE SANTIAGO - YÉPEZ TAPIA, JULIO ENRIQUE

Formato:	Thesis
Enlaces:	El Gestor de Proyectos Informáticos fue desarrollado para controlar el desarrollo y cumplimiento de los proyectos informáticos que se diseñan en las empresas. El mismo que permite hoy en día llevar un control de los procesos e integrar las actividades…
Fecha:	2013-10-02
Recurso:	Universidad de Guayaquil

Recurso libre

Software para la gestión de proyectos informáticos
HERRERA REGALADO, GALO VICENTE - RIASCO MONSERRATE, PEDRO IGNACIO

Formato:	Thesis
Enlaces:	Un proyecto es un esfuerzo temporal para crear un único servicio o producto. Como temporal nos referimos a que todo proyecto tiene un comienzo claro y un final definido. Y como único, que el producto o servicio es diferente de…
Fecha:	2013-10-04
Recurso:	Universidad de Guayaquil

Recurso libre

Sistema de inventario corporativo vía web
PEÑAFIEL VILLAREAL, LADY PATRICIA - PRIETO MOGOLLÓN, LOURDES CATALINA - ROMÁN TOALA, JÉSSICA ARACELY

Formato:	Thesis
Enlaces:	Este proyecto va dirigido a todas aquellas organizaciones que no tienen una gestión adecuada de los diferentes recursos informáticos. La solución al problema es un Sistema de Auditoría a nivel de Hardware y Software, el cual va ha facilitar…
Fecha:	2013-10-04
Recurso:	Universidad de Guayaquil

Recurso libre

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

Laboratorios virtuales y remotos basados en EJS para la enseñanza de robótica industrial
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	El propósito general de este artículo se centra en presentar una serie de herramientas para la enseñanza a distancia de robótica industrial, que permite a los usuarios interactuar con simulaciones de robots reales de una manera intuitiva y económica. Mediante…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

10.

Desarrollando aplicaciones empresariales altamente interactivas sobre J2EE
Ormeño, Emilio G. - Ochoa, Sergio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

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.

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

13.

Runtime techniques and interprocedural analysis in Java virtual machines
Qian, Feng, 1973-

Formato:	Electronic Thesis or Dissertation
Enlaces:	Java programs are deployed in a bytecode format that is executed by a Java virtual machine (JVM). JVM performance is determined by several major components: execution engine, garbage collector, and threading system. The static compilation and optimization approach, such as…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

14.

Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio
Dolz, Daniel - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

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.

Comunicación síncrona de simulaciones interactivas desarrolladas con Easy Java Simulations
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Esquembre Martínez, Francisco - Dormido Bencomo, Sebastián

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Con el principal objetivo de unir las ventajas de los laboratorios virtuales y los entornos colaborativos on-line, se presenta en este artículo un sistema de comunicación síncrono entre simulaciones interactivas desarrolladas en Easy Java Simulations (Ejs) a través del protocolo
Fecha:	2007-10-21
Recurso:	RUA Docencia

Recurso libre

17.

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

18.

Analytical Study of Business Environments Influence to Marketing Strategy case study Cigarette Industry in East Java
Retnowati, Nova

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	This research evaluates the effect of a business environmental toward the marketing strategy of cigarette industry at East Java. Goal of this research: (1) to analyze significance influence business environmental simultaneous toward the marketing strategy of cigarette industry; (2) to…
Fecha:	2013-10-31
Recurso:	European Journal of Business and Management

Recurso libre

19.

New e-learning vectorial video approach
Sánchez Sánchez, José Luis - Tejedor Cerbel, Jorge - Bernal Bermúdez, Jesús - Gutiérrez Rodríguez, Abraham - Bobadilla Sancho, Jesús

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous vectorial information. The architecture presented uses Java JMF API, which…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Herramientas interactivas para la enseñanza de robótica
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Este trabajo presenta herramientas interactivas que pueden ser utilizadas para la enseñanza de robótica. Mediante estas herramientas el usuario puede adquirir desde conceptos básicos de robótica hasta un aprendizaje práctico en el manejo de robots. Las aplicaciones ofrecen una interfaz…
Fecha:	2007-10-20
Recurso:	RUA Docencia

Recurso libre

21.

Practical training of robotic concepts using interactive tools
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/lecture
Enlaces:	This paper presents an interactive computer simulator that can be used in the field of practical training in Robotics. The tool can provide basic training for workers as well as increase their knowledge about robotic concepts. The application offers a…
Fecha:	2007-10-30
Recurso:	RUA Docencia

Recurso libre

22.

Supporting Dynamic Languages on the Java Virtual Machine
Shivers, Olin

Formato:
Enlaces:	In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

23.

Consistencia de ejecución: una propuesta no cache coherente
García, Rafael B. - Ardenghi, Jorge Raúl

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La presencia de uno o varios niveles de memoria cache en los procesadores modernos, cuyo objetivo es reducir el tiempo efectivo de acceso a memoria, adquiere especial relevancia en un ambiente multiprocesador del tipo DSM dado el mucho mayor costo…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

24.

Laboratorio remoto mediante JSP para el acceso a hardware específico
Bernal Bermúdez, Jesús - Gutiérrez Rodríguez, Abraham - Bobadilla Sancho, Jesús - Tejedor Cerbel, Jorge - Sánchez Sánchez, José Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La sociedad actual tiene como reto la difusión del conocimiento a todos sus individuos, independientemente de su nivel económico o situación geográfica. Las nuevas tecnologías de Internet en el ámbito de la educación han permitido ampliar y facilitar, de forma…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

25.

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

26.

JEDI: An interactive interpreter for JAVA
Rodrigues, Hermann Oliveira - Camarão, Carlos

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

27.

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

28.

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

29.

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

30.

Internet Programming with Java
Luján Mora, Sergio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).
Fecha:	2010-05-06
Recurso:	RUA Docencia

Recurso libre

31.

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

32.

Hipermedia física aplicada en el contexto de un centro comercial
Carpi, Federico E. - García Peña, Gabriel

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción 2- Sistemas móviles y sensibles al contexto 3- E-commerce y M-commerce 4- Hipermedia e hipermedia física 5- Descripción del sistema basado en hipermedia física 6- Diseño 7- Implementación 8-…
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

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

34.

Mecanismos de suporte ao escalonamento em sistemas com objetos distribuídos Java
Geyer, Cláudio Fernando Resin - Silva, Luciano da - Augustin, Iara - Yamin, Adenauer - Araujo, Edvar Bergmann

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, e um segundo que terá a cargo a…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

Shimple : and investigation of static single assignment form
Umanee, Navindra.

Formato:	Electronic Thesis or Dissertation
Enlaces:	In designing compiler analyses and optimisations, the choice of intermediate representation (IR) is a crucial one. Static Single Assignment (SSA) form in particular is an IR with interesting properties, enabling certain analyses and optimisations to be more easily implemented while…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

36.

Experiencia de laboratorio en robótica: De las tortugas simuladas a los robots y juguetes autónomos una oportunidad para la enseñanza de programación
Ierache, Jorge - Bruno, María Marcela - Mazza, N.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las experiencias se enmarcan en el contexto de las Tecnologías en Educación, en materia de robótica, se presentan específicamente aquellas que contribuyen a la conformación de un laboratorio en robótica, integrado básicamente por robots clásicos, bípedos y cuadrúpedos que se…
Fecha:	2012-10-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

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

38.

Técnicas y extensiones para Java de tiempo real distribuido
Basanta Val, Pablo

Formato:	text (thesis)
Enlaces:	Al igual que las aplicaciones de propósito general, las de tiempo real no hacen más que aumentar en complejidad, forzando a que se estén explorando nuevas vías tecnológicas no consideradas previamente, como puede ser el empleo del lenguaje de propósito…
Fecha:	2007
Recurso:	Dialnet (Tesis)

Recurso libre

39.

Cliente Seguro de I.M. con Jabber
CRESPO PÉREZ, JENNY MARGARITA - FIGUEROA REYES, ELSIE MAGALY - VERA ESPINOZA, ENA MARÍA

Formato:	Thesis
Enlaces:	El sistema de mensajería instantánea CSJabber fue desarrollada para permitir que los usuarios comunicarse de forma rápida y segura. Este hace uso del protocolo Jabber, el mismo que permite obtener múltiples beneficios de seguridad con el uso de SSL en…
Fecha:	2013-09-25
Recurso:	Universidad de Guayaquil

Recurso libre

40.

Java bytecode obfuscation
Batchelder, Michael Robert

Formato:	Electronic Thesis or Dissertation
Enlaces:	Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful…
Fecha:	2007
Recurso:	McGill University - MCGILL

Recurso libre

41.

Una extensión de agentes en JASON para razonar con incertidumbre: G-JASON
Biga, Adrián - Casali, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Una de las mejores implementaciones de agentes de la familia BDI (B: Belief, D: Desire, I: Intention) es mediante los llamados Sistemas de Razonamiento Procedural (PRS). En este trabajo se plantea una extensión de los PRS para permitir generar agentes…
Fecha:	2013-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

42.

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

43.

Using inter-procedural side-effect information in JIT optimizations
Le, Anatole

Formato:	Electronic Thesis or Dissertation
Enlaces:	Side-effect analysis gives information about the set of locations that a statement may read or modify. This analysis can provide information useful in a compiler for performing aggressive optimizations. The impact of the use of side-effect analysis in compiler optimizations…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

44.

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

45.

Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Matos, Alexandre Veloso de - Gonçalves Riso, Bernardo - Notare, Mirela Sechi Moretti Anonni

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Apesar de possuir características que a tornam mais flexível que outras linguagens de programação, existem fragilidades que podem facilitar a construção de ataques usando a linguagem Java. Um componente de extrema importância, no Modelo de Segurança da plataforma Java…
Fecha:	2012-11-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

Using JOP to build a chip multiprocessor JVM for embedded realtime systems
Andreotti, José Pablo A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

Program analysis using binary decision diagrams
Lhoták, Ondřej.

Formato:	Electronic Thesis or Dissertation
Enlaces:	A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation,…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

48.

A practical MHP information computation for concurrent Java programs /
Li, Lin, 1971-

Formato:	Electronic Thesis or Dissertation
Enlaces:	With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the scope of program analysis and compiler optimization from traditional, sequential programs to concurrent programs., Naumovich et al. proposed May Happen…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

49.

Replicação de arquivos com Java
Werlang, Rodrigo - Oliveira Júnior, Emerson Rogério de

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The objective of this work is to supply one more contribution to the scientific community presenting techniques that will be used in distributed systems that need file replications in real time guaranteeing the permanent availability of the system. As the…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

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)