Browsing Computer Science and Automation (CSA) by Title

Now showing items 375-377 of 377

    • Verification of a Generative Separation Kernel 

      Haque, Inzemamul
      A Separation Kernel is a small specialized microkernel that provides a sand-boxed execution environment for a given set of processes (also called \subjects"). The subjects may communicate only via declared memory channels, ...

    • Visual Analysis Of Interactions In Multifield Scientific Data 

      Suthambhara, N (2014-11-14)
      Data from present day scientific simulations and observations of physical processes often consist of multiple scalar fields. It is important to study the interactions between the fields to understand the underlying phenomena. ...

    • Weighted Average Based Clock Synchronization Protocols For Wireless Sensor Networks 

      Swain, Amulya Ratna (2016-07-12)
      Wireless Sensor Networks (WSNs) consist of a large number of resource constrained sensor nodes equipped with various sensing devices which can monitor events in the real world. There are various applications such as ...