Essays about: "library system program"

Showing result 1 - 5 of 28 essays containing the words library system program.

  1. 1. Autonomous Buffer Preparation

    University essay from Lunds universitet/Kemiteknik (CI)

    Author : Lukas Önnestam; [2020]
    Keywords : Buffer; Python; Automation; pH; Chemical engineering; Kemiteknik; Technology and Engineering;

    Abstract : Every laboratory involved with liquid chromatography (LC) has to solve the issue of a supply of mobile phase. In the case of reversed-phase liquid chromatography the mobile phase is polar in nature and most commonly aqueous solutions. With a source of distilled water in-house the possibility of creating a mobile phase supply is within reach. READ MORE

  2. 2. Effects of Thread-Local Task Trees in the CHT-MPI C++ Programming Library for the Chunks and Tasks Programming Model

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Joseph Rogers; [2018]
    Keywords : ;

    Abstract : Programming efficiently in extremely high thread count environments can be both challenging and tedious for the modern programmer. Task based programming models provide an abstraction of the low--level system details by instead allowing a program to be expressed as a set of tasks to executed by the system. READ MORE

  3. 3. Evaluation of pre-concentration techniques for gas chromatographic determination of low amounts of volatile contaminants and degradation products

    University essay from Chalmers tekniska högskola / Institutionen för biologi och bioteknik; Chalmers University of Technology / Department of Biology and Biological Engineering

    Author : Erik Nylander; [2018]
    Keywords : Analytisk kemi; Miljövetenskap; Analytical Chemistry; Environmental Sciences;

    Abstract : The project investigated the compared two pre-concentration methods, Thermal Desorption System (TDS) coupled to a Thermal Extractor (TE) and Multiple Headspace Injection (MHI) using a Multiple Purpose Sampler (MPS) for detecting volatile amines in solid pharmaceutical products and synthesis precursor chemicals samples. The TDS-TE and MHI extractions are directly injected into a Cold Injection System (CIS). READ MORE

  4. 4. Object Capabilities and Uniqueness for Isolating Actors in Akka

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

    Author : Fredrik Sommar; [2018]
    Keywords : ;

    Abstract : Large-scale concurrent systems need to ensure that the number of bugs is as low as possible, especially since the symptoms may appear far from the cause. Data races, for instance, is caused by the lack of isolation between systems. READ MORE

  5. 5. Computing component specifications from global system requirements

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Carl Björkman; [2017]
    Keywords : control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

    Abstract : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. READ MORE