Search Results - "parallel programming"

Suggested Topics within your search.
Refine Results
  1. 21
    Cover Image

    Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2023
    Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 22
    Cover Image

    Analysis of the Current Situation of Sana'a University by Ayid Sharyan

    Published 2009
    Connect to this object online.
    Book

    Save to List
    Saved in:
  3. 23
    Cover Image

    Integration of healthcare programs: A long-term policy perspective for a sustainable HIV program for India by Sukarma S.S. Tanwar, Bharat B Rewari

    Published 2013
    Connect to this object online.
    Book

    Save to List
    Saved in:
  4. 24
    Cover Image

    Implementation of the International Health Regulations (2005) through cooperative bioengagement by Claire eStandley, Erin eSorrell, Sarah eKornblet, Julie eFischer, Rebecca eKatz

    Published 2015
    Connect to this object online.
    Book

    Save to List
    Saved in:
  5. 25
    Cover Image

    Identifying the challenges of policy content related to high-risk sexual behaviors, stimulant drugs, and alcohol consumption in adolescents by Saeid Mirzaei, Mohammad Hossein Mehrolhassani, Vahid Yazdi-Feyzabadi, Abbas Jahanara, Ali Akbar Haghdoost, Nadia Oroomiei

    Published 2024
    Connect to this object online.
    Book

    Save to List
    Saved in:

Search Tools: