1 resultado para Specialization
em Université de Montréal
Filtro por publicador
- Aberdeen University (1)
- Academic Archive On-line (Jönköping University; Sweden) (2)
- Academic Research Repository at Institute of Developing Economies (7)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (11)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Aquatic Commons (6)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (3)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (5)
- Aston University Research Archive (15)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- B-Digital - Universidade Fernando Pessoa - Portugal (2)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (1)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (11)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (14)
- Biblioteca Digital de la Universidad Católica Argentina (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (19)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (28)
- Brock University, Canada (3)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (4)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (18)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (15)
- Coffee Science - Universidade Federal de Lavras (6)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (34)
- Dalarna University College Electronic Archive (1)
- Deakin Research Online - Australia (31)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Archives@Colby (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (16)
- DigitalCommons@The Texas Medical Center (4)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- DRUM (Digital Repository at the University of Maryland) (3)
- Duke University (9)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- Escola Superior de Educação de Paula Frassinetti (4)
- Helda - Digital Repository of University of Helsinki (11)
- Indian Institute of Science - Bangalore - Índia (11)
- Institutional Repository of Leibniz University Hannover (2)
- Instituto Politécnico de Santarém (3)
- Instituto Politécnico do Porto, Portugal (7)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Massachusetts Institute of Technology (2)
- Memoria Académica - FaHCE, UNLP - Argentina (39)
- Memorial University Research Repository (1)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (23)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Portal de Revistas Científicas Complutenses - Espanha (6)
- Publishing Network for Geoscientific & Environmental Data (19)
- QSpace: Queen's University - Canada (5)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (12)
- Queensland University of Technology - ePrints Archive (25)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (24)
- RDBU - Repositório Digital da Biblioteca da Unisinos (2)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (5)
- Repositorio Académico de la Universidad Nacional de Costa Rica (5)
- Repositório Científico da Universidade de Évora - Portugal (6)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (13)
- Repositório Científico do Instituto Politécnico de Santarém - Portugal (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (31)
- Repositório Institucional da Universidade de Aveiro - Portugal (3)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (2)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (2)
- Repositorio Institucional de la Universidad de Málaga (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (134)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (8)
- SAPIENTIA - Universidade do Algarve - Portugal (3)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (3)
- Universidad de Alicante (8)
- Universidad del Rosario, Colombia (17)
- Universidad Politécnica de Madrid (48)
- Universidade Complutense de Madrid (3)
- Universidade de Lisboa - Repositório Aberto (28)
- Universidade Federal de Uberlândia (2)
- Universidade Federal do Pará (13)
- Universidade Federal do Rio Grande do Norte (UFRN) (34)
- Universidade Metodista de São Paulo (17)
- Universidade Técnica de Lisboa (3)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (7)
- Université de Montréal (1)
- Université de Montréal, Canada (24)
- University of Connecticut - USA (2)
- University of Michigan (1)
- University of Queensland eSpace - Australia (26)
- University of Washington (3)
- WestminsterResearch - UK (2)
Resumo:
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.