Resultados para Optimizing compilers~ Mostrando 1 - 20 Resultados de 20 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=Optimizing+compilers%7E&type=TX&lng=es 20 0 50 Virtual Objects: To Be is to Be Perceivable. Thu, 01 Jan 2026 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/195834762 https://descubridor.academia.cl/EITRecord/195834762 Murphy, Alex Artículo 2026-06-01 Murphy, Alex 0 Mathematical Explanation in Computer Science. Sun, 01 Jan 2023 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/174317265 https://descubridor.academia.cl/EITRecord/174317265 Curtis-Trudel, André Artículo 2023-12-01 Curtis-Trudel, André 0 The Virtual as the Digital. Tue, 01 Jan 2019 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/144290597 https://descubridor.academia.cl/EITRecord/144290597 Chalmers, David J. Artículo 2019-12-01 Chalmers, David J. 0 The Social Furniture of Virtual Worlds. Tue, 01 Jan 2019 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/144290595 https://descubridor.academia.cl/EITRecord/144290595 Ludlow, Peter Artículo 2019-12-01 Ludlow, Peter 0 How to Design an ISA. Mon, 01 Jan 2024 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/176927824 https://descubridor.academia.cl/EITRecord/176927824 Chisnall, David Artículo 2024-05-01 Chisnall, David 0 Compiler Research: the next 50 Years. Thu, 01 Jan 2009 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/36673335 https://descubridor.academia.cl/EITRecord/36673335 HALL, MARY Artículo 2009-02-01 HALL, MARY 0 Hacker-Proof Coding: Software verification helps find the faults, preventing hacks. Sun, 01 Jan 2017 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/124418537 https://descubridor.academia.cl/EITRecord/124418537 Shein, Esther Artículo 2017-08-01 Shein, Esther 0 Kode Vicious. Sun, 01 Jan 2012 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/82149595 https://descubridor.academia.cl/EITRecord/82149595 Neville-Neil, George V. Opinion 2012-10-01 Neville-Neil, George V. 0 Programming Languages and Systems Thu, 01 Jan 2026 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4462051 https://descubridor.academia.cl/EITRecord/4462051 Robbert Krebbers Libro 2026 Robbert Krebbers 0 Beyond Horizons – The Rise of the Edge AI Processing Paradigm Thu, 01 Jan 2026 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4395416 https://descubridor.academia.cl/EITRecord/4395416 Ovidiu Vermesan Libro 2026 Ovidiu Vermesan 0 Programming Languages and Systems Wed, 01 Jan 2025 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4198377 https://descubridor.academia.cl/EITRecord/4198377 Viktor Vafeiadis Libro 2025 Viktor Vafeiadis 0 The AI Act and The Agile Safety Plan Wed, 01 Jan 2025 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4122343 https://descubridor.academia.cl/EITRecord/4122343 Thor Myklebust Libro 2025 Thor Myklebust 0 Tools and Algorithms for the Construction and Analysis of Systems Wed, 01 Jan 2025 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4198031 https://descubridor.academia.cl/EITRecord/4198031 Arie Gurfinkel Libro 2025 Arie Gurfinkel 0 Computer Aided Verification Wed, 01 Jan 2025 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/4278506 https://descubridor.academia.cl/EITRecord/4278506 Ruzica Piskac Libro 2025 Ruzica Piskac 0 The Roman Cemetery at Lankhills Fri, 01 Jan 2021 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/3167526 https://descubridor.academia.cl/EITRecord/3167526 Giles Clarke Libro 2021 Giles Clarke 0 A Journey of Embedded and Cyber-Physical Systems Wed, 01 Jan 2020 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/3735223 https://descubridor.academia.cl/EITRecord/3735223 Jian-Jia Chen Libro 2020 Jian-Jia Chen 0 Computer Aided Verification Mon, 01 Jan 2018 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/3735128 https://descubridor.academia.cl/EITRecord/3735128 Hana Chockler Libro 2018 Hana Chockler 0 Technical Perspective: Transactional Memory in the Operating System. Tue, 01 Jan 2008 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/34141231 https://descubridor.academia.cl/EITRecord/34141231 Moir, Mark Artículo 2008-09-01 Moir, Mark 0 Digital System Design - Use of Microcontroller Fri, 01 Jan 2010 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/3455224 https://descubridor.academia.cl/EITRecord/3455224 Shenouda Dawoud Libro 2010 Shenouda Dawoud 0 Stadtwachstum, Industrialisierung, Sozialer Wandel. : Beiträge zur Erforschung der Urbanisierung im 19. und 20. Jahrhundert. Wed, 01 Jan 1986 18:18:59 -0300 https://descubridor.academia.cl/EITRecord/3365676 https://descubridor.academia.cl/EITRecord/3365676 Hans-Jürgen Teuteberg Libro 1986 Hans-Jürgen Teuteberg 0