Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (35)
Java (15)
Ingeniería de Sistemas y Automática (14)
Informática (13)
Ingeniería en Sistemas Computacionales (11)
Más...

Idiomas

Español (108)
Inglés (48)
en (13)
pt_BR (12)
Francés (3)
Más...

Recursos

Más...

Año

2013 (15)
2012 (41)
2011 (26)
2010 (13)
2006 (11)
2004 (12)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

RobUaLab.ejs: a new tool for robotics e-learning
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	Virtual and remote laboratories have improved learning and training in the academic community. They allow students to acquire methods, skills and experience related to real equipment in an intuitive and cost-effective way. The purpose of this paper is to present…
Fecha:	2009-03-23
Recurso:	RUA Docencia

Recurso libre

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

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

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

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

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

Implementando firma digital con J2EE
Clemens, María Patricia - Falcone, Alejandro César

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: I. Conceptos generales 1- Introducción y conceptos generales 2- Infraestructura de clave pública 3- Certificados digitales 4- Firma digital II. J2EE Java 2 Platform Enterprise Edition 5- J2EE introducción y modelo
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

10.

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

11.

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

12.

Construcción de un benchmark para realizar un estudio comparativo entre web services en plataformas Java y .net
Mármol Panamá, Miguel Patricio - Peñaherrera Pacheco, Daysi de las Mercedes

Formato:	Tesis
Enlaces:	El documento contiene conceptos y definiciones acerca de Arquitectura Orientada a Servicios, roles de la misma, plataformas que utiliza esta arquitectura, web services, teoría de benchmark y estadígrafos que son la base teórica para la construcción del Benchmark a través…
Fecha:	2009-07-21
Recurso:	Escuela Politécnica Nacional

Recurso libre

13.

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

14.

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

15.

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

16.

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

17.

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

18.

Memorias del Congreso Latinoamericano de Computación de Alto Rendimiento (CLCAR) - Java for high performance and distributed computing
Baker, Mark A. - Shafi, Aamir - Grove, Matthew

Formato:
Enlaces:	Java for high performance and distributed computing. (Baker, Mark A.; Shafi, Aamir y Grove, Matthew) Abstract The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…
Fecha:	2008-06-26
Recurso:	Universidad de los Andes Venezuela

Recurso libre

19.

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

20.

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

21.

Servicio de consultas y visualización en 2d en el contexto del SIG del volcán Popocatépetl
Espinosa Ruiz, Guillermo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El objetivo de este proyecto, denominado MAPPA, fue el de incorporar una herramienta de visualización en 2D al proyecto del volcán Popocatépetl. La implementación del proyecto se basa en formatos estándares propuestos por el W3C (XSLT y SVG),…
Fecha:	2004-04-23
Recurso:	CIRIA

Recurso libre

22.

EJS+EjsRL: a free Java tool for advanced Robotics simulation and Computer Vision processing
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Pomares Baeza, Jorge - Gil Vázquez, Pablo - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper presents a free Java software platform which enables users to easily create advanced robotic applications together with image processing. This novel tool is composed of two layers: 1) Easy Java Simulations (EJS), an open-source tool which provides support…
Fecha:	2010-07-23
Recurso:	RUA Docencia

Recurso libre

23.

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

24.

Searching for linguistic phenomena in literary digital libraries
Sánchez Martínez, Felipe - Forcada Zubizarreta, Mikel L. - Carrasco Jiménez, Rafael Carlos

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper describes a set of tools and Java classes that allow the Lucene text search engine to use morphological information to index and search; in particular, it describes the use of the linguistic resources developed for the Apertium open-source…
Fecha:	2013-03-25
Recurso:	RUA Docencia

Recurso libre

25.

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

26.

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

27.

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

28.

Gestión de errores, Gestió d'errors
Cachero Castro, Cristina - Ponce de León Amador, Pedro José

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Gestión de errores mediante excepciones. Motivación. Captura de excepciones en C++ y Java. Lanzamiento de exceociones en C++ y Java. Jerarquía de excepciones estándar. Excepciones de usuario.
Fecha:	2008-01-30
Recurso:	RUA Docencia

Recurso libre

29.

Desarrollo de métodos de búsqueda en BD de imágenes con JavaVis
Fernández Díaz, Marta

Formato:	info:eu-repo/semantics/report
Enlaces:	JavaVis es una librería de visión computacional en Java, la cual usa una interfaz gráfica con el fin de mostrar los resultados de aplicar diferentes métodos y algoritmos de visión artificial. El origen de esta librería surge siguiendo la filosofía…
Fecha:	2009-11-11
Recurso:	RUA Docencia

Recurso libre

30.

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

31.

Co-simulation of algebraically coupled dynamic subsystems
Gu, Bei, 1970-

Formato:	Thesis
Enlaces:	In the manufacturing industry out-sourcing/integration is becoming an important business pattern (not a clear statement-integration still done in house-component design and manufacturing outsourced). An engineering system often consists of many subsystems supplied by different companies. Bridge between thoughts is weak.…
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

32.

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

33.

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

34.

Flexible virtual and remote laboratory for teaching Robotics
Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	This paper describes the new features included in the Robolab 2 System, which permits the students to work with a simulation of and industrial robot and carry out operations with the real robot through teleoperation. Among these features, the flexibility…
Fecha:	2007-11-08
Recurso:	RUA Docencia

Recurso libre

35.

Converting Java programs to use generic libraries
Donovan, Alan A. A., 1976-

Formato:	Thesis
Enlaces:	Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of logically-generic classes, including container classes. Translation…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

36.

ARQUITECTURA PARA LA CONSTRUCCION DE MUNDOS VIRTUALES COLABORATIVOS BASADA EN JAVA RMI Y VRML
ESTRADA SEGOVIA, GUADALUPE MANUEL

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

Recurso libre

37.

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

38.

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

39.

Cuestionario básico sobre "Programación en Internet"
Luján Mora, Sergio - Aragonés Ferrero, Jaume

Formato:	info:eu-repo/semantics/book
Enlaces:	El rápido desarrollo de Internet durante los últimos diez años ha modificado el desarrollo de las aplicaciones informáticas con la aparición del concepto de "aplicación web". Este novedoso concepto de aplicación ha propiciado la aparición de nuevas filosofías de desarrollo…
Fecha:	2011-04-08
Recurso:	RUA Docencia

Recurso libre

40.

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

41.

IMPLEMENTACIÓN LINUX CON ROUTER
LÓPEZ MACÍAS, BORIS ALEX - SÁNCHEZ DE LA TORRE, JORGE GIOVANNY - SOTOMAYOR NAVARRO, JOSÉ DANIEL

Formato:	Thesis
Enlaces:	Actualmente las Organizaciones han optimizado y mejorado la forma de administrar sus redes internas mediante la implementación de la tecnología. Sin embargo, debido a la necesidad de mejorar la utilización de los recursos de red que establecen la comunicación…
Fecha:	2013-11-12
Recurso:	Universidad de Guayaquil

Recurso libre

42.

Robocup UA FSM Builder AURA RIA
García Nebot, Daniel - Rodríguez Álvaro, Elad

Formato:	info:eu-repo/semantics/report
Enlaces:	Los objetivos del proyecto han sido fundamentalmente en investigar y desarrollar técnicas innovadoras en el campo de la robótica a través de los perros robots, de modo que después puedan llegar a ser aplicables en el tratamiento de robots. Mejorar…
Fecha:	2009-11-11
Recurso:	RUA Docencia

Recurso libre

43.

Exploración de evolución del protocolo IPv4 a IPv6. Un enfoque práctico sobre Java
Aldrette Malacara, Alejandra

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Descripción completa.
Fecha:	2005-05-17
Recurso:	CIRIA

Recurso libre

44.

Desarrollo de una aplicación Web para la administración de cursos utilizando Struts
Solís Zenteno, Aldo Ahmed

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	Entre la gran diversidad de herramientas y lenguajes de programación que existen para el desarrollo de aplicaciones Web, las tecnologías Java (Applets, Servlets, JSP, entre otras) son utilizadas ampliamente dada la característica de ser multiplataforma. Estas tecnologías tienen diferentes…
Fecha:	2005-12-08
Recurso:	CIRIA

Recurso libre

45.

Generador de reporte para postgres
Caliz Ramos, Doris Cruz

Formato:	Tesis
Enlaces:	Resulta fundamental disponer de una herramienta de reportes que permitan un fácil y rápido acceso hacia los datos contenidos en bases de datos Postgres como parte de una estrategia Open Source aplicable a cualquier organización, considerando el ahorro en licencias…
Fecha:	2009-09-11
Recurso:	Escuela Politécnica Nacional

Recurso libre

46.

Real-time collaboration of virtual laboratories through the Internet
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Dormido Bencomo, Sebastián - Esquembre Martínez, Francisco - Reinoso García, Óscar

Formato:	info:eu-repo/semantics/article
Enlaces:	Web-based learning environments are becoming increasingly popular in higher education. One of the most important web-learning resources is the virtual laboratory (VL), which gives students an easy way for training and learning through the Internet. Moreover, on-line collaborative communication represents…
Fecha:	2009-03-20
Recurso:	RUA Docencia

Recurso libre

47.

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

48.

Fusão espectral de imagens de satélite no espaço de cores.
MIRANDA, J. I. - MARABITA, M. A.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Espaço de cores RGB (red, green, blue). Espaço de cores IHS (intensity, hue, saturation). Espaço de cores LHS (lightness, hue, saturation). Métodos de interpolaçã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

49.

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

50.

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