Now showing items 1-17 of 17

    • A context-sensitive security type system for Java 

      Kaiser, Benjamin (Rensselaer Polytechnic Institute, Troy, NY, 2015-05)
      This thesis presents the theoretical framework for A context-sensitive security type system for Java programs. The primary contribution is JSec, a two-stage protocol that prepares a program containing sensitive data to ...
    • Elastic cloud computing for QoS-aware data processing 

      Imai, Shigeru (Rensselaer Polytechnic Institute, Troy, NY, 2018-05)
      First, we present two frameworks for elastic batch data processing. The first elastic batch data processing framework supports autonomous VM scaling using application-level migration. It does not require any prior knowledge ...
    • Emergency trajectory generation for fixed-wing aircraft 

      Paul, Saswata (Rensselaer Polytechnic Institute, Troy, NY, 2018-12)
      Loss of thrust emergencies, e.g. -- induced by bird strikes or fuel exhaustion -- give rise to the need for expeditiously generating feasible trajectories to nearby runways, in order to guide pilots. It is possible to ...
    • Formal verification of decentralized coordination in autonomous multi-agent aerospace systems 

      Paul, Saswata (Rensselaer Polytechnic Institute, Troy, NY, 2022-05)
      As autonomous vehicular technologies such as self-driving cars and uncrewed aircraft systems (UAS) evolve to become more accessible and cost-efficient, autonomous multi-agentsystems, that comprise of such entities, will ...
    • Implementation of the transactor model : fault tolerant distributed computing using asynchronous local checkpointing 

      Kuang, Phillip (Rensselaer Polytechnic Institute, Troy, NY, 2014-08)
      The Transactor model, an extension to the Actor Model, is a well-formulated way to model distributed concurrent systems while maintaining a global distributed state. This model provides semantics to track dependencies among ...
    • Implementing and verifying the safety of the transactor model 

      Boodman, Brian D. (Rensselaer Polytechnic Institute, Troy, NY, 2008-05)
      The transactor model is an extension of the actor model designed to tolerate failures in distributed systems. Transactors can provide guarantees about consistency of a distributed system’s state in the face of message loss ...
    • Middleware for autonomous reconfiguration of virtual machines 

      Wang, Qingling (Rensselaer Polytechnic Institute, Troy, NY, 2011-08)
    • Middleware framework for distributed cloud storage 

      Hancock, Matthew B. (Rensselaer Polytechnic Institute, Troy, NY, 2015-05)
      The device people use to capture multimedia has changed over the years with the rise of smartphones. Smartphones are readily available, easy to use and capture multimedia with high quality. While consumers capture all of ...
    • MLCryptoBox : cryptographic toolbox for distributed machine learning 

      Ishaq, Muhammad (Rensselaer Polytechnic Institute, Troy, NY, 2018-05)
      We propose a hybrid design using multiparty computation (MPC) to achieve both accuracy and speed. An ML application should compute only those primitives cryptographically securely which operate on sensitive input. Towards ...
    • Performance comparison of GPU acceleration of MilkyWay@Home N-body 

      Rayment, Clayton (Rensselaer Polytechnic Institute, Troy, NY, 2018-05)
      Presentation of an efficient GPU based N-Body octree construction algorithm for use on the MilkyWay@Home project based on parallel tree construction techniques outlined in Karras [2012]. Implementation of GPU based brute ...
    • Practical static analysis framework for inference of security-related program properties 

      Liu, Yin (Rensselaer Polytechnic Institute, Troy, NY, 2010-05)
    • Proving correctness of actor systems using FIFO communication 

      Dunn, Ian W. (Rensselaer Polytechnic Institute, Troy, NY, 2014-05)
      We are developing a hierarchy of theories to reason about actor systems, with the ability to reuse proofs formalized at an abstract level in reasoning about concrete actor programs. Several actor languages, e.g., the ABCL ...
    • pyVivid ; a concrete framework for mechanized diagrammatic reasoning 

      Marton, Nicholas (Rensselaer Polytechnic Institute, Troy, NY, 2016-05)
      In 2007, the abstract semantic framework of Vivid was introduced by [Arkoudas and Bringsjord, 2009] for the purpose of mechanized heterogeneous natural deduction that combines symbolic and diagrammatic reasoning. We introduce ...
    • Resilience enhancement of mutualistic networks 

      Rao, Varun (Rensselaer Polytechnic Institute, Troy, NY, 2019-12)
      There are two methods we tried to improve the resilience of these networks, either adding one or deleting one species from the network. We found that when trying to improve network resilience there is always a cost and ...
    • Semantic driven data migration for predictive treatment of major depressive disorder 

      Ashby, Brendan Evans (Rensselaer Polytechnic Institute, Troy, NY, 2014-12)
      SEMMDD is a collection of researchers working to improve treatment for Major Depressive Disorder. Specifically, focus is put on accurately modeling patient response to various depression therapies. This paper contributes ...
    • The Sagittarius tidal stream and the shape of the galactic stellar halo 

      Newby, Matthew (Rensselaer Polytechnic Institute, Troy, NY, 2013-08)
      Fits to the Sgr stream in 18 SDSS data stripes were performed, and a continuous density profile is found for the major Sgr stream. The stellar halo is found to be strongly oblate (flattening parameter q=0.53). A catalog ...
    • The stellar density of the major substructure in the Milky Way halo 

      Weiss, Jake (Rensselaer Polytechnic Institute, Troy, NY, 2018-08)
      We develop, test, and apply a statistical photometric parallax method using main sequence turn off (MSTO) stars in the Sloan Digital Sky Survey (SDSS). We show using simulated data that if our density model is similar to ...