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…

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…

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…

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. Com o advento do paradigma da orientação a objetos, novos problemas foram…

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…

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…

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…

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,…

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…

When used in conjunction with patterns, class libraries, and components, objectoriented application frameworks can significantly increase software quality and reduce development effort. Frameworks are a kind of domain-specific model whose structure can reuse existing patterns. In the field of medical…