Showing 1 - 14 results of 14 for search '"Device driver"', query time: 0.09s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    Robotic development environment for autonomous robotic systems by Shanbhag Raghavendra Nagaraj.

    Published 2009
    “…The project explores the Robotic Development Environment (RDE) studies; utilization of RDE for autonomous robot platform and developing the software device driver used in robotic research and embedded Systems. …”
    Get full text
    Thesis
  5. 5

    An Automated Testing Approach For Pxi Chassis Software Driver by Ng , Wai Shyan

    Published 2017
    “…PXI chassis is a multi-vendor interoperable device, it can interconnect with many chassis, module and computer type. To make sure the device driver is able to function in specific configuration it must go through a series of testing. …”
    Get full text
    Thesis
  6. 6
  7. 7

    Program analysis with interpolants by Weissenbacher, G, Georg Weissenbacher

    Published 2010
    “…Finally, we present an implementation of our techniques and evaluate them on a set of standardised device driver and buffer overflow benchmarks.…”
    Thesis
  8. 8

    An embedded cryptosystem implementing symmetric cipher and public-key crypto algorithms in hardware by Hau, Yuan Wen

    Published 2005
    “…The cryptosystem composes of three components: (a) hardware processing module, (b) device driver and (c) Application Programming Interface (API). …”
    Get full text
    Thesis
  9. 9
  10. 10

    Monotonicity in shared-memory program verification by Kaiser, A

    Published 2013
    “…</p> <p>We present an implementation of our techniques and extensive experiments on multi-threaded C programs, including device driver code from FreeBSD and Solaris. The experiments demonstrate that by exploiting monotonicity, model checking techniques - enabled by predicate abstraction - scale to realistic programs even of a few thousands of multi-threaded C code lines.…”
    Thesis
  11. 11
  12. 12

    Privilege-Separating Embedded Applications using Web Assembly in the Plat FIDO2 Security Key by Kettle, Benjamin B.

    Published 2023
    “…This toolchain includes special support for device drivers, safely enabling isolated modules to access peripheral memory-mapped IO. …”
    Get full text
    Thesis
  13. 13

    Highly Efficient Multi-Gigabit Commandstatus Packet Tunneling Technique In Inter-Fpga Packet Streaming Architecture by Loh, Mui Soon

    Published 2016
    “…Though this solution is simple to implement in hardware with readily available device drivers, an unnecessary high latency overhead is introduced such as when transferring a 512-byte filter data coefficients to configure a 128-tap FIR filter. …”
    Get full text
    Thesis
  14. 14

    A field programmable gate array-based crytographic system-on-chip by M. Thamrin, Norashikin

    Published 2007
    “…The software design consists of the development of device drivers for hardware subsystem communication, and implementation of Cryptographic Service Provider (CSP), serves as the Application Programming Interface (API) in host PC. …”
    Thesis