On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Relatório de estágio: implementação da metodologia lean na indústria automóvel

Pouco depois da segunda guerra mundial, surge no Japão, uma metodologia inovadora vocacionada para a eliminação do desperdício, melhoria contínua e eficiência produtiva, que ficou conhecido num célebre trabalho, desenvolvido por Womack et al.(1990), como o sistema de produção lean. Desde então o termo tem-se globalizado, e hoje em dia as suas técnicas e filosofias são utilizadas em diversas áreas da nossa indústria. Face aos benefícios, recolhidos, da implementação da filosofia lean, algumas organizações têm procurado adotar esta filosofia, que contribui para a redução do desperdício, melhoria das operações e geração de valor, e têm obtido resultados bastantes positivos. Tendo em conta esta necessidade e a importância da aplicação da metodologia lean na indústria global, foi realizado um estágio, no âmbito da "Implementação da metodologia lean na indústria automóvel", cujo objetivo principal é a aplicação das metodologias lean, num contexto real de trabalho. Nesse sentido, foi realizado um estágio na Sasal, uma empresa do sector automóvel, que pertence ao grupo Faurecia onde, durante o período de estágio, foram abordadas algumas metodologias lean, com principal enfoque no sistema de gestão da produção existente. Implementou-se, numa linha modelo, um novo sistema Kanban, que resultou numa redução de stock na produção, de produto acabado, de cerca de 200 capas/dia. O trabalho realizado também incidiu na redefinição de um novo layout para a área da produção e escritórios, com ganhos substanciais na ocupação dos espaços, e no acompanhamento das auditorias 5'S. No que toca à otimização de processos e eliminação de desperdícios, foi realizada uma ação hoshin, numa linha de produção, com ganhos na redução do tempo de ciclo, em cerca 152 segundos por capa, e na eficiência produtiva, com um aumento de 7%. A experiência e o enriquecimento adquirido, o contacto com algumas das ferramentas e filosofias preconizadas pela Faurecia, permitiram concluir que a melhoria é sempre possível, mesmo nas situações em que os resultados já são bons e depende apenas da nossa vontade, aceitar a mudança e procurar as melhores formas para reduzir o desperdício, com o objetivo de criar o maior valor possível para a organização e para o cliente.

Aligning business and IT strategies in multi-business organizations

The alignment of business and information technology (IT) strategies is an important and enduring theoretical challenge for the information systems discipline, remaining a top issue in practice over the past 20 years. Multi-business organizations (MBOs) present a particular alignment challenge because business strategies are developed at the corporate level, within individual strategic business units and across the corporate investment cycle. In contrast, the extant literature implicitly assumes that IT strategy is aligned with a single business strategy at a single point in time. This paper draws on resource-based theory and path dependence to model functional, structural, and temporal IT strategic alignment in MBOs. Drawing on Makadok's theory of profit, we show how each form of alignment creates value through the three strategic drivers of competence, governance, and flexibility, respectively. We illustrate the model with examples from a case study on the Commonwealth Bank of Australia. We also explore the model's implications for existing IT alignment models, providing alternative theoretical explanations for how IT alignment creates value.

Sponsorship and IT vendor management of projects

Project sponsorship is assumed to be critical to the success of information systems development and implementation. However, there is limited research on the effect of vendor-based sponsorship on the management of information technology (IT) projects. This paper contributes to that emerging body of evidence. Drawing on literature on psychological contract, management control and project sponsorship, the authors propose that vendor-based sponsors influence project performance in two main ways. One is to protect project quality by renegotiating contract with the client; and the other is to resource the project. Based on a survey of senior managers in IT services vendor organisations, it reports that project sponsorship improves the quality, but not the cost or timeliness, of vendor delivery of IT projects. The findings suggest that IT services vendors can improve their project delivery capability by appointing project sponsors.