Found: 39

Select item for more details and to access through your institution.

  • Managing Non-functional Requirements in an ELASTIC Edge-Cloud Continuum.

    Published in:
    Ada User Journal, 2022, v. 43, n. 4, p. 245
    By:
    • Sousa, Rita;
    • Miguel Pinho, Luis;
    • Barros, António;
    • Gonzalez-Hierro, Marco;
    • Zubia, Cristina;
    • Sabate, Eudald;
    • Kartsakli, Elli
    Publication type:
    Article

  • Tracing and Measuring GPU Execution in Automotive Software Systems.

    Published in:
    Ada User Journal, 2022, v. 43, n. 3, p. 160
    By:
    • Carvalho, Tiago;
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Real-time Issues in the Ada Parallel Model with OpenMP.

    Published in:
    Ada User Journal, 2020, v. 41, n. 3, p. 177
    By:
    • Miguel Pinho, Luis;
    • Royuela, Sara;
    • Quiñones, Eduardo
    Publication type:
    Article

  • Non-functional Requirements in the ELASTIC Architecture.

    Published in:
    Ada User Journal, 2020, v. 41, n. 1, p. 51
    By:
    • Nogueira, Luis;
    • Barros, António;
    • Zubia, Cristina;
    • Faura, David;
    • Pérez, Daniel Gracia;
    • Pinho, Luis Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2019, v. 40, n. 1, p. 3
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2019, v. 40, n. 2, p. 75
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2018, v. 39, n. 4, p. 211
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2018, v. 39, n. 3, p. 139
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Combining the tasklet model with OpenMP.

    Published in:
    Ada User Journal, 2018, v. 39, n. 2, p. 107
    By:
    • Pinho, Luis Miguel;
    • Quiñones, Eduardo;
    • Royuela, Sara
    Publication type:
    Article

  • Session Summary: Clock Issues.

    Published in:
    Ada User Journal, 2018, v. 39, n. 2, p. 105
    By:
    • Gregertsen, Kristoffer Nyborg;
    • Pinho, Luis Miguel
    Publication type:
    Article

  • Session Summary: Parallel Programming.

    Published in:
    Ada User Journal, 2018, v. 39, n. 2, p. 91
    By:
    • Pinho, Luis Miguel;
    • Vardanega, Tullio
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2018, v. 39, n. 2, p. 61
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2018, v. 39, n. 1, p. 3
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    2017
    By:
    • Pinho, Luís Miguel
    Publication type:
    Editorial

  • Editorial.

    Published in:
    2017
    By:
    • Pinho, Luís Miguel
    Publication type:
    Editorial

  • Editorial.

    Published in:
    Ada User Journal, 2017, v. 38, n. 2, p. 67
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2017, v. 38, n. 1, p. 3
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    2016
    By:
    • Pinho, Luís Miguel
    Publication type:
    Proceeding

  • Session Summary: Parallel and Multicore Systems.

    Published in:
    2016
    By:
    • Pinho, Luis Miguel;
    • Michell, Stephen
    Publication type:
    Proceeding

  • Editorial.

    Published in:
    Ada User Journal, 2016, v. 37, n. 3, p. 123
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2016, v. 37, n. 2, p. 67
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2016, v. 37, n. 1, p. 3
    By:
    • Miguel Pinho, Luís
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2015, v. 36, n. 4, p. 199
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2015, v. 36, n. 2, p. 59
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2015, v. 36, n. 3, p. 119
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2014, v. 35, n. 2, p. 71
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2015, v. 36, n. 1, p. 3
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • RTFM-lang Static Semantics for Systems with Mixed Criticality.

    Published in:
    Ada User Journal, 2014, v. 35, n. 2, p. 128
    By:
    • Lindgren, Per;
    • Eriksson, Johan;
    • Lindner, Marcus;
    • Pereira, David;
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2014, v. 35, n. 4, p. 211
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2014, v. 35, n. 3, p. 151
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2014, v. 35, n. 1, p. 3
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2013, v. 34, n. 4, p. 195
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2013, v. 34, n. 3, p. 135
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2013, v. 34, n. 2, p. 63
    By:
    • Miguel Pinho, Luís
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2013, v. 34, n. 1, p. 3
    By:
    • Miguel Pinho, Luís
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2012, v. 33, n. 4, p. 233
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Editorial.

    Published in:
    Ada User Journal, 2012, v. 33, n. 3, p. 139
    By:
    • Pinho, Luís Miguel
    Publication type:
    Article

  • Sociodemographic influence in health-related quality of life in adolescents.

    Published in:
    Acta Paulista de Enfermagem, 2020, v. 33, n. 1, p. 1, doi. 10.37689/acta-ape/2020AO0054
    By:
    • Bica, Isabel;
    • Duarte Pinho, Luís Miguel;
    • Batoca Silva, Ernestina Maria;
    • Aparício, Graça;
    • Duarte, João;
    • Costa, José;
    • Albuquerque, Carlos
    Publication type:
    Article

  • Runtime verification of autopilot systems using a fragment of MTL-∫.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 379, doi. 10.1007/s10009-017-0470-5
    By:
    • de Matos Pedro, André;
    • Pinto, Jorge Sousa;
    • Pereira, David;
    • Pinho, Luís Miguel
    Publication type:
    Article