Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (38)
Java (14)
Electrical Engineering and Computer Science. (10)
Ingeniería de Sistemas y Automática (10)
Computer Science. (9)
Más...

Idiomas

Español (91)
Inglés (47)
en (14)
pt_BR (11)
Francés (3)
Más...

Recursos

Más...

Año

2013 (9)
2012 (45)
2011 (18)
2010 (10)
2007 (15)
2004 (11)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

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

Desarrollo de un prototipo para el monitoreo y gestión del transporte en base a dispositivos AVL (Automatic vehicle location)aplicado a la ciudad de Quito
De la Bastida Castillo, José David - Coyago Remache, Diego Fernando

Formato:	Tesis
Enlaces:	El presente proyecto de titulación permite automatizar el proceso de gestión interno de las cooperativas u organizaciones de transporte y monitorear sus unidades en mapas geográficos digitales utilizando dispositivos AVL mediante de una aplicación Web. CAPITULO 1: Se inicia con…
Fecha:	2009-09-16
Recurso:	Escuela Politécnica Nacional

Recurso libre

Programmer-friendly decompiled Java
Naeem, Nomair A.

Formato:	Electronic Thesis or Dissertation
Enlaces:	Java decompilers convert Java class files to Java source. Common Java decompilers are javac-specific decompilers since they target bytecode produced from a particular javac compiler. We present work carried out on Dava, a tool-independent decompiler that decompiles bytecode produced from…
Fecha:	2006
Recurso:	McGill University - MCGILL

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

Enseñanza de electricidad y magnetismo con ambientes virtuales de aprendizaje
Barragán, Antonio Aburto - Garnica Verdigel, José de Jesús - González Brito, Gloria Vanessa

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En el presente trabajo, presentamos el primer ensayo de montaje de un curso básico de Electricidad y Magnetismo en la UPIITA, usando Ambientes Virtuales de Aprendizaje a través de la aplicación de Plataformas Interactiva. Los materiales didácticos fundamentales en este…
Fecha:	2012-08-07
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

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

22.

CILEA a “TheServerSideJavaSymposiumEurope”, Barcellona, 21-23 Giugno 2006
Molinaro, Chiara

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, articolo, Peer-reviewed Article
Enlaces:	CILEA partecipa al primo incontro europeo della comunità di utilizzatori di Java., CILEA takes part to the first European symposium of the Java Community.
Fecha:	2006-07-20
Recurso:	Bolletino del CILEA

Recurso libre

23.

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

24.

Information flow in a Java intermediate language
Ahmedani, Ahmer.

Formato:	Electronic Thesis or Dissertation
Enlaces:	It is a common practice to retrieve code from an outside source, execute it and return the result to the user. During execution secure data can enter the program by user input or access of a data resource. It is…
Fecha:	2006
Recurso:	McGill University - MCGILL

Recurso libre

25.

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

26.

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

27.

Creación de un repositorio para programas de Java utilizando la herramienta de ORM Hibernate
Vázquez Rodríguez, Josefina Adriana

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

Recurso libre

28.

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

29.

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

30.

JTCP: una implementación de TCP orientada a la evaluación de técnicas de control de congestión
Rigotti, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	TCP es un protocolo ampliamente difundido en la Internet. Gran parte del tráfico de la Internet, proviene de aplicaciones que lo utilizan. Esta característica indica la importancia de la tasa a la cual TCP introduce sus datos en la red.…
Fecha:	2012-09-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

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

32.

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

33.

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

34.

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

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.

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

38.

An object oriented approach for computer integrated building (CIB) modelling using java
Zavalla, Eduardo - Martín, Marcelo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This paper presents an object-oriented design and implementation of a software module to be used as the monitoring application for a Computer Integrated Building (CIB) in an intranet/extranet context., Sistemas Distribuidos - Redes Concurrencia - Sesión de pósters
Fecha:	2012-11-21
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

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

40.

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

41.

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

42.

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

43.

Desarrollo de Software para el análisis bidimencional de placas mediante el método de los elementos finitos
Romero Romero, Jorge Eduardo

Formato:	Tesis
Enlaces:	En este trabajo se han desarrollado dos programas para el análisis bidimensional de placas, uno realizado en Matlab 7.0 y el otro en Java empleando el J2SE Development Kit 5.0 Java 3D 1.4.0 y NetBeans 5.0. Estos programas emplean el…
Fecha:	2009-06-26
Recurso:	Escuela Politécnica Nacional

Recurso libre

44.

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

45.

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

46.

The JK System to Detect Plagiarism
Sabri, Khair Eddin M. - Al-Jaafer, Jubair J.

Formato:	Articulo, Articulo
Enlaces:	In this research a system, referred to as Jubair-Khaireddin (JK), has been developed to assess the degree of similarity between two programs even though they look superficially dissimilar. The JK system has the capability to detect deliberate attempts of plagiarism.…
Fecha:	2008-05-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

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

48.

Dynamic data structure analysis and visualization of Java programs
Pheng, Sokhom.

Formato:	Electronic Thesis or Dissertation
Enlaces:	For many years, programmers have faced the problem of reading and trying to understand other programmers' code, either to maintain it or to learn from it. Analysis of dynamic data structure usage is useful for both program understanding and for…
Fecha:	2006
Recurso:	McGill University - MCGILL

Recurso libre

49.

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

50.

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