Search Results - Pinho, Miguel

Refine Results
  1. 1
    Guest editorial: real-time networks and systems

    Guest editorial: real-time networks and systems by Faucou, Sébastien, Pinho, Luís Miguel

    Published in Real-time systems
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs

    Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs by Nikolić, Borislav, Pinho, Luís Miguel

    Published in Real-time systems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Improved Holistic Analysis for Fork–Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol

    Improved Holistic Analysis for Fork–Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol by Garibay-Martinez, Ricardo, Nelissen, Geoffrey, Ferreira, Luis Lino, Pedreiras, Paulo, Pinho, Luis Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Runtime verification of autopilot systems using a fragment of MTL-

    Runtime verification of autopilot systems using a fragment of MTL- by de Matos Pedro, André, Pinto, Jorge Sousa, Pereira, David, Pinho, Luís Miguel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Framework for the Analysis and Configuration of Real-Time OpenMP Applications

    Framework for the Analysis and Configuration of Real-Time OpenMP Applications by Carvalho, Tiago, Pinho, Luis Miguel, Samadi, Mohammad, Royuela, Sara, Munera, Adrian, Quinones, Eduardo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet

    End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet by Lindgren, Per, Eriksson, Johan, Lindner, Marcus, Lindner, Andreas, Pereira, David, Pinho, Lus Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs

    Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs by Nikolić, Borislav, Pinho, Luís Miguel

    Published in Real-time systems
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A Scalable Clustered Architecture for Cyber-Physical Systems

    A Scalable Clustered Architecture for Cyber-Physical Systems by Cabral, Bernado, Costa, Pedro, Fonseca, Tiago, Ferreira, Luis Lino, Pinho, Luis Miguel, Ribeiro, Pedro

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Managing Non-functional Requirements in an ELASTIC Edge-Cloud Continuum

    Managing Non-functional Requirements in an ELASTIC Edge-Cloud Continuum by Sousa, Rita, Sabate, Eudald, Gonzalez-Hierro, Marco, Barros, António, Zubia, Cristina, Miguel Pinho, Luis, Kartsakli, Elli

    Published in ACM SIGAda Ada Letters
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Classifier Precision Analysis for Sleep Apnea Detection Using ECG Signals

    Classifier Precision Analysis for Sleep Apnea Detection Using ECG Signals by Pombo, Nuno, Silva, Bruno M. C., Pinho, Andre Miguel, Garcia, Nuno

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Message-oriented middleware for smart grids

    Message-oriented middleware for smart grids by Albano, Michele, Ferreira, Luis Lino, Pinho, Luís Miguel, Alkhawaja, Abdel Rahman

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Enabling Ada and OpenMP runtimes interoperability through template-based execution

    Enabling Ada and OpenMP runtimes interoperability through template-based execution by Royuela, Sara, Pinho, Luís Miguel, Quiñones, Eduardo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Converging safety and high-performance domains: Integrating OpenMP into Ada

    Converging safety and high-performance domains: Integrating OpenMP into Ada by Royuela, Sara, Pinho, Luis Miguel, Quinones, Eduardo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    A Real-Time Parallel Programming Approach for Rust

    A Real-Time Parallel Programming Approach for Rust by Carvalho, Tiago, Silva, Hugo, Miguel Pinho, Luís

    Published in ACM SIGAda Ada Letters
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    Participation of the agonist and antagonist knee extensor muscles in drop kick, placing kick and up and under kick, in rugby athletes

    Participation of the agonist and antagonist knee extensor muscles in drop kick, placing kick and up and under kick, in rugby athletes by Dias, Inês, Godinho, Leonor Mira, Pinho, Miguel, de Sá, Tiago, Paulo Sousa, João, Pereira, Ângela Maria

    Request full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  16. 16
    Task partitioning and priority assignment for distributed hard real-time systems

    Task partitioning and priority assignment for distributed hard real-time systems by Garibay-Martínez, Ricardo, Nelissen, Geoffrey, Ferreira, Luis Lino, Pinho, Luís Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Task-to-Thread Mapping in OpenMP Using Fuzzy Decision Making

    Task-to-Thread Mapping in OpenMP Using Fuzzy Decision Making by Samadi, Mohammad, Carvalho, Tiago, Miguel Pinho, Luís, Royuela, Sara

    Published in ACM SIGAda Ada Letters
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging

    Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging by Ali, Hazem Ismail, Stuijk, Sander, Akesson, Benny, Pinho, Luís Miguel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory

    Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory by Barros, António, Pinho, Luís Miguel, Meumeu Yomsi, Patrick

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    Real-time Issues in the Ada Parallel Model with OpenMP

    Real-time Issues in the Ada Parallel Model with OpenMP by Miguel Pinho, Luis, Royuela, Sara, Quiñones, Eduardo

    Published in ACM SIGAda Ada Letters
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: