Essays about: "Functional programming"

Showing result 11 - 15 of 125 essays containing the words Functional programming.

  1. 11. An Arrow Metalanguage for Partially Invertible Computation

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Anders Ågren Thuné; [2023]
    Keywords : Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

    Abstract : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. READ MORE

  3. 12. AN INTEGRATION ARCHITECTURE OF AIAAS: INTEROPERABILITY AND FUNCTIONAL SUITABILITY

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Benedicte Musabimana Boneza; [2023]
    Keywords : AI integration; interoperability; functional suitability; data processing;

    Abstract : This thesis explores the integration of Artificial Intelligence as a Service (AIaaS) into existing systems, focusing on handling challenges related to unclear data processing and complex integration. The study examined existing research to understand current integration practices and ensure alignment with established standards. READ MORE

  4. 13. Issues in communication during architecture design in modern software engineering : A Systematic Literature Review

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Bohdan Shevchenko; [2023]
    Keywords : software architecture; Agile; communication; documentation; knowledge management; knowledge capture; SLR; Systematic Literature Review;

    Abstract : The purpose of this research is to define which instruments with their characteristics exist to mitigate the communication issues in modern software development as well as the exact issues that emerge during software architecture design with their characteristics and validity. A Systematic Literature Review (SLR) is used as a major method of the research. READ MORE

  5. 14. Modularity, Scalability, Reusability, Configurability, and Interoperability of ASIC/FPGA Verification IP

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Trupti Rao; [2022]
    Keywords : Verification Intellectual Property; UniversalVerification Methodology; Avalon Streaming Interface; Object-oriented Programming;

    Abstract : The complexity of chip design has been exponentially rising, resulting in increased complexity and costs in chip verification. This rise in complexity results in increased time to market and increases risks of chip in fabrication, that can be catastrophic and result in major losses. READ MORE

  6. 15. Linking Developer Experience with Lambda and Smart Pointer Usage

    University essay from Mittuniversitetet/Institutionen för data- och systemvetenskap

    Author : Marcus Roos; Alexander Karlsson; [2022]
    Keywords : C ; Lambda; Smart Pointers; GitHub; Repositories; URE;

    Abstract : Assessing developer’s experience and proficiency haslong been a tough task for recruiters to tackle properly. Afunctional programming concept known as lambdas has been proven to be an indicator of more experienced developers. READ MORE