Non INESC TEC publications - Indexed Articles in Conferences

Permanent URI for this collection


Recent Submissions

Now showing 1 - 5 of 159
  • Item
    Challenges and Opportunities in C/C Source-To-Source Compilation (Invited Paper)
    ( 2023) João Bispo ; Nuno Miguel Paulino ; Sousa,LM ; 5802 ; 6527
    The C/C compilation stack (Intermediate Representations (IRs), compilation passes and backends) is encumbered by a steep learning curve, which we believe can be lowered by complementing it with approaches such as source-to-source compilation. Source-to-source compilation is a technology that is widely used and quite mature in certain programming environments, such as JavaScript, but that faces a low adoption rate in others. In the particular case of C and C some of the identified factors include the high complexity of the languages, increased difficulty in building and maintaining C/C parsers, or limitations on using source code as an intermediate representation. Additionally, new technologies such as Multi-Level Intermediate Representation (MLIR) have appeared as potential competitors to source-to-source compilers at this level. In this paper, we present what we have identified as current challenges of source-to-source compilation of C and C , as well as what we consider to be opportunities and possible directions forward. We also present several examples, implemented on top of the Clava source-to-source compiler, that use some of these ideas and techniques to raise the abstraction level of compiler research on complex compiled languages such as C or C . The examples include automatic parallelization of for loops, high-level synthesis optimisation, hardware/software partitioning with run-time decisions, and automatic insertion of inline assembly for fast prototyping of custom instructions. © João Bispo, Nuno Paulino, and Luís Miguel Sousa.
  • Item
    Prototyping the IDS Security Components in the Context of Industry 4.0 - A Textile and Clothing Industry Case Study
    ( 2023) Torres,N ; Ana Carolina Chaves ; Toscano,C ; Pedro Filipe Pinto ; 7929 ; 5173
    With the introduction of Industry 4.0 technological concepts, suppliers and manufacturers envision new or improved products and services, cost reductions, and productivity gains. In this context, data exchanges between companies in the same or different activity sectors are necessary, while assuring data security and sovereignty. Thus, it is crucial to select and implement adequate standards which enable the interconnection requirements between companies and also feature security by design. The International Data Spaces (IDS) is a current standard that provides data sharing through data spaces mainly composed of homogeneous rules, certified data providers/consumers, and reliability between partners. Implementing IDS in sectors such as textile and clothing is expected to open new opportunities and challenges. This paper proposes a prototype for the IDS Security Components in the Textile and Clothing Industry context. This prototype assures data sovereignty and enables the interactions required by all participants in this supply chain industry using secure communications. The adoption of IDS as a base model in this activity sector fosters productive collaboration, lowers entry barriers for business partnerships, and enables an innovation environment. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
  • Item
    Limit Characterization for Visual Place Recognition in Underwater Scenes
    ( 2023) Ana Gaspar ; Alexandra Nunes ; Aníbal Matos ; 5158 ; 6868 ; 6869
  • Item
    Formal Concept Analysis Applied to Professional Social Networks Analysis
    ( 2017) Paula Raissa Silva ; Dias,SM ; Brandão,WC ; Song,MA ; Zárate,LE ; 7134
  • Item