1. Andrew Wilkerson. Deadlock Freedom in Actor Languages. Master's thesis, Rensselaer Polytechnic Institute, December 2023. Keyword(s): deadlock, distributed computing, session types. [Abstract] [bibtex-entry]

1. Sinclair Gurny. Learning Models from Avionics Data Streams. Master's thesis, Rensselaer Polytechnic Institute, May 2020. Keyword(s): cyber physical systems, avionics, machine learning, dddas. [Abstract] [bibtex-entry]

1. Carlos A. Varela. Too many airplane systems rely on too few sensors, April 2019. Note: Article published in TheConversation.com. Keyword(s): cyber physical systems, dddas. [bibtex-entry]

1. Saswata Paul. Emergency Trajectory Generation for Fixed-Wing Aircraft. Master's thesis, Rensselaer Polytechnic Institute, December 2018. Keyword(s): dddas, data streaming, cyber physical systems, trajectory generation. [Abstract] [bibtex-entry]

1. R. Buyya, S. Narayana Srirama, G. Casale, R. Calheiros, Y. Simmhan, B. Varghese, E. Gelenbe, B. Javadi, L. M. Vaquero, M. A. S. Netto, A. Nadjaran Toosi, M. A. Rodriguez, I. M. Llorente, S. De Capitani di Vimercati, P. Samarati, D. Milojicic, C. Varela, R. Bahsoon, M. Dias de Assuncao, O. Rana, W. Zhou, H. Jin, W. Gentzsch, A. Zomaya, and H. Shen. A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade, November 2017. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]

1. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Cost-Efficient Elastic Stream Processing Using Application-Agnostic Performance Prediction. 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2016), May 2016. Note: Doctoral symposium paper (best doctoral symposium paper award). Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



2. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization. 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2016), May 2016. Note: Short paper. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



3. Stacy Patterson and Carlos A. Varela. Steering Complex Systems using a Dynamic, Data-Driven Modeling Approach. Streaming Technology Requirements, Application and Middleware (STREAM2016), March 2016. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]

1. Matthew Hancock. Middleware Framework for Distributed Cloud Storage. Master's thesis, Rensselaer Polytechnic Institute, May 2015. Keyword(s): distributed computing, distributed cloud storage, cloud computing. [Abstract] [bibtex-entry]



2. Matthew Hancock and Carlos A. Varela. Augmenting Performance For Distributed Cloud Storage. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2015), May 2015. Note: Poster. Keyword(s): distributed computing, distributed cloud storage, cloud computing. [Abstract] [bibtex-entry]



3. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Cost-Efficient High-Performance Internet-Scale Data Analytics over Multi-Cloud Environments. 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2015), May 2015. Note: Doctoral symposium paper. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]



4. Carlos A Varela. Dynamic Data Driven Avionics Systems. Streaming Technology Requirements, Application and Middleware (STREAM2015), October 2015. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]

1. Ian W. Dunn. Proving Correctness of Actor Systems using FIFO Communication. Master's thesis, Rensselaer Polytechnic Institute, May 2014. Keyword(s): distributed computing, concurrent programming, internet programming languages, actor model, formal verification. [Abstract] [bibtex-entry]



2. Jonathan Goldszmidt. A Look Into Virtual Machine Malleability. Master's thesis, Rensselaer Polytechnic Institute, May 2014. Keyword(s): virtual machines malleability, distributed computing. [Abstract] [bibtex-entry]



3. Phillip Kuang. Implementation of the Transactor Model: Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. Master's thesis, Rensselaer Polytechnic Institute, July 2014. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages. [Abstract] [bibtex-entry]



4. Pratik Patel. Speeding Up and Augmenting Mobile Device Applications using Actors and Cloud Computing. Master's thesis, Rensselaer Polytechnic Institute, December 2014. Keyword(s): distributed computing, concurrent programming. [Abstract] [bibtex-entry]

1. Shigeru Imai. Task Offloading between Smartphones and Distributed Computational Resources. Master's thesis, Rensselaer Polytechnic Institute, May 2012. Keyword(s): distributed computing, mobile computing, cloud computing. [Abstract] [bibtex-entry]

1. Qingling Wang. Middleware for Autonomous Reconfiguration of Virtual Machines. Master's thesis, Rensselaer Polytechnic Institute, August 2011. Keyword(s): distributed computing, cloud computing, middleware. [Abstract] [bibtex-entry]



2. Carlos A. Varela. Flexible Software Technology for Scalable Cloud Computing. NSF Workshop on the Science of Cloud Computing, Arlington, Virginia, U.S.A., March 17-18, 2011., March 2011. Keyword(s): distributed computing, cloud computing. [bibtex-entry]

1. Travis Desell. Robust Asynchronous Optimization using Volunteer Computing Grids. The 5th Pan-Galactic BOINC Workshop, October 2009. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [Abstract] [bibtex-entry]

1. Brian Boodman. Implementing and Verifying the Safety of the Transactor Model. Master's thesis, Rensselaer Polytechnic Institute, May 2008. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages, formal verification. [Abstract] [bibtex-entry]



2. C. Varela. Enabling Synchronous Computation on Volunteer Computing Grids. The 4th Pan-Galactic BOINC Workshop, September 2008. Note: Presentation video available. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [bibtex-entry]

1. Travis Desell. Autonomic Grid Computing using Malleability and Migration: An Actor-Oriented Software Framework. Master's thesis, Rensselaer Polytechnic Institute, May 2007. Keyword(s): distributed computing, middleware, grid computing, internet programming languages. [Abstract] [bibtex-entry]

1. Ayse Morali. AcTrust: A Security Model for Trust-based Computing. Master Thesis. Technische Universität Darmstadt, April 2006. Keyword(s): internet programming languages, electronic commerce, cyber physical systems. [Abstract] [bibtex-entry]

1. Mayuresh Kulkarni. A Calculus for Distributed Mobile Computing with Static Resource Access and Usage Control. Master's thesis, Rensselaer Polytechnic Institute, July 2005. Keyword(s): coordination models, concurrent programming. [Abstract] [bibtex-entry]



2. Ayse Morali. Security Aspects of Digital Actors. Bachelor Thesis. Technische Universität Darmstadt, June 2005. Keyword(s): electronic commerce, cyber physical systems. [Abstract] [bibtex-entry]

1. Terrell Holmes. Software Version Control in Open Distributed Systems. Master's thesis, Rensselaer Polytechnic Institute, June 2004. Keyword(s): software agents. [bibtex-entry]



2. Shailesh Kelkar. A Generic Framework for Distributed Computation. Master's thesis, Rensselaer Polytechnic Institute, July 2004. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]

1. Camron Tolman. A Fault-Tolerant Home-Based Naming Service for Mobile Agents. Master's thesis, Rensselaer Polytechnic Institute, April 2003. Keyword(s): distributed computing, grid computing, middleware, software agents, concurrent programming. [Abstract] [bibtex-entry]

1. C. Varela. Worldwide Computing with Coordinated Adaptive Mobile Web Services. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002) Object-Oriented Web Services Workshop, November 2002. Note: Invited speaker. Keyword(s): distributed computing, cyber physical systems, grid computing, electronic commerce. [Abstract] [bibtex-entry]

1. C. Varela and G. Agha. Linguistic Support for Actors, First-Class Token-Passing Continuations and Join Continuations. Proceedings of the Midwest Society for Programming Languages and Systems Workshop, October 1999. Keyword(s): concurrent programming, internet programming languages. [bibtex-entry]

1. C. Varela. An Actor-Based Approach to World-Wide Computing. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 98), Doctoral Symposium, October 1998. Keyword(s): distributed computing, concurrent programming, grid computing, software agents. [Abstract] [bibtex-entry]

1. C. Varela. Tyba: A Simple HTTP Server Developed in Java. Zolar/Oracle Users Symposium, Tokyo, Japan, July 1996. Keyword(s): distributed computing, concurrent programming, internet programming languages. [bibtex-entry]

1. C. Varela. Browsing Databases over the World-Wide Web. Master's thesis, University of Illinois at Urbana-Champaign, 1995. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html