by Wolfgang Andreas Klimke., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2001., Includes bibliographical references.

The emergence of industry standards often has disruptive impacts on the behavior of markets. It can drive commoditization, substitution and convergence. It also changes the industry structure creating new business models and value chains, coupled with the entrance of new…

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…

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…

TESINA C7.1447

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…

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

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…

Presentación de la herramienta con los aspectos más importantes de la misma.

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