Sökning: "Serial Interface"

Visar resultat 1 - 5 av 16 avhandlingar innehållade orden Serial Interface.

1. 1. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Sammanfattning : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. LÄS MER

3. 2. Low Power Analog Interface Circuits toward Software Defined Sensors

   Författare :Yajie Qin; Lirong Zheng; Kari Halonen; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; IoT; software defined sensor; SoC; bio-medical electronics; bio-electric sensor; E-patch; wearable sensor; wearable healthcare system; pervasive healthcare; CMOS; ADC; digital calibration; analog front-end; folded reference.; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Internet of Things is expanding to the areas such as healthcare, home management, industrial, agriculture, and becoming pervasive in our life, resulting in improved efficiency, accuracy and economic benefits. Smart sensors with embedded interfacing integrated circuits (ICs) are important enablers, hence, variety of smart sensors are required. LÄS MER

4. 3. The use of haptics when interacting with in-car interfaces

   Författare :Annie Rydström; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering Psychology; Teknisk psykologi;

   Sammanfattning : Humans use all their senses when they explore and interact with the environment. In human-machine interaction, vision is the dominant sense and interfaces are seldom designed to provide haptic information, i.e. information that can be gathered by touch. LÄS MER

5. 4. Compilation of mathematical models to parallel code

   Författare :Niclas Andersson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Generating parallel code from high-level mathematical models is in its general form an intractable problem. Rather than trying to solve this problem, a more realistic approach is to solve specific problem instances for limited domains. LÄS MER

7. 5. Modelling of Concrete Subjected to Cyclic Loading

   Författare :Rasmus Rempling; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cyclic loading; plasticity; damage; concrete; energy dissipation;

   Sammanfattning : The infrastructure of today depends heavily on concrete structures. Most of these structuresare subjected to repeated loads, known as fatigue or cyclic loads: the loads weakenthe structure. As this phenomenon is of high cost to society, a deeper understanding ofthe deterioration process of cyclic loading would be beneficial. LÄS MER