BACK TO INDEX

Publications about 'programming languages'
Books and proceedings
  1. Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, and Carlos A. Varela, editors. Proceedings of the 5th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015. ACM. Keyword(s): concurrent programming, programming languages. [Abstract] [bibtex-entry]


  2. Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, and Carlos A. Varela, editors. Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE 2014, Portland, OR, USA, October 20-24, 2014, 2014. ACM. Keyword(s): concurrent programming, programming languages. [Abstract] [bibtex-entry]


Thesis
  1. Wei-Jen Wang. Distributed Garbage Collection for Large-Scale Mobile Actor Systems. PhD thesis, Rensselaer Polytechnic Institute, 2006. Keyword(s): distributed computing, grid computing, internet programming languages, software agents. [Abstract] [bibtex-entry]


  2. C. Varela. Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination. PhD thesis, U. of Illinois at Urbana-Champaign, 2001. Keyword(s): distributed computing, concurrent programming, grid computing, internet programming languages, coordination models, middleware, software agents. [Abstract] [bibtex-entry]


Articles in journal, book chapters
  1. Sida Chen, Shigeru Imai, Wennan Zhu, and Carlos A. Varela. Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. In Eric Blasch, Sai Ravela, and Alex Aved, editors, Handbook of Dynamic Data-Driven Application Systems, chapter 5, pages 97-121. Springer, 2018. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]


  2. Shigeru Imai, Erik Blasch, Alessandro Galli, Wennan Zhu, Frederick Lee, and Carlos A. Varela. Airplane Flight Safety Using Error-Tolerant Data Stream Processing. IEEE Aerospace and Electronics Systems Magazine, 32(4):4-17, 2017. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]


  3. Shigeru Imai, Sida Chen, Wennan Zhu, and Carlos A. Varela. Dynamic Data-Driven Learning for Self-Healing Avionics. Cluster Computing, November 2017. ISSN: 1573-7543. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]


  4. Travis Desell and Carlos A. Varela. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. In Concurrent Objects and Beyond, volume 8665 of Lecture Notes in Computer Science, pages 144-166. Springer Berlin Heidelberg, 2014. ISBN: 978-3-662-44470-2. Keyword(s): distributed computing, concurrent programming, programming languages, actor model. [Abstract] [bibtex-entry]


  5. Carlos A. Varela, Paolo Ciancarini, and Kenjiro Taura. Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Scientific Programming Journal, 13(4):255-263, December 2005. Note: Guest Editorial. Keyword(s): distributed computing, grid computing, middleware, internet programming languages. [bibtex-entry]


  6. Carlos A. Varela and Gul Agha. Programming Dynamically Reconfigurable Open Systems with SALSA. ACM SIGPLAN Notices. OOPSLA'2001 Intriguing Technology Track Proceedings, 36(12):20-34, December 2001. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]


  7. C. Varela and G. Agha. What after Java? From Objects to Actors. Computer Networks and ISDN Systems: The International J. of Computer Telecommunications and Networking, 30:573-577, April 1998. Note: Proceedings of the Seventh International Conference on The World Wide Web (WWW7), Brisbane, Australia. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]


Conference articles
  1. Sida Chen, Shigeru Imai, Wennan Zhu, and Carlos A. Varela. Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. In Dynamic Data-Driven Application Systems (DDDAS 2016), Hartford, CT, August 2016. Note: Appears in Handbook of Dynamic Data-Driven Application Systems. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]


  2. Travis Desell and Carlos A. Varela. A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite. In Agere Workshop at ACM SPLASH 2015 Conference, October 2015. Keyword(s): distributed computing, concurrent programming, programming languages. [Abstract] [bibtex-entry]


  3. Shigeru Imai, Alessandro Galli, and Carlos A. Varela. Dynamic Data-Driven Avionics Systems: Inferring Failure Modes from Data Streams. In Dynamic Data-Driven Application Systems (DDDAS 2015), Reykjavik, Iceland, June 2015. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]


  4. P. Kuang, J. Field, and C. A. Varela. Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. In Agere Workshop at ACM SPLASH 2014 Conference, October 2014. Keyword(s): distributed computing, programming languages. [Abstract] [bibtex-entry]


  5. Shigeru Imai, Richard Klockowski, and Carlos A. Varela. Self-Healing Spatio-Temporal Data Streams Using Error Signatures. In 2nd International Conference on Big Data Science and Engineering (BDSE 2013), Sydney, Australia, December 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]


  6. Richard S. Klockowski, Shigeru Imai, Colin Rice, and Carlos A. Varela. Autonomous Data Error Detection and Recovery in Streaming Applications. In Proceedings of the International Conference on Computational Science (ICCS 2013). Dynamic Data-Driven Application Systems (DDDAS 2013) Workshop, pages 2036-2045, May 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]


  7. David R. Musser and Carlos A. Varela. Structured Reasoning About Actor Systems. In Proceedings of the 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2013, New York, NY, USA, pages 37-48, 2013. ACM. ISBN: 978-1-4503-2602-5. Keyword(s): programming languages, actor model, concurrent programming, formal verification. [Abstract] [bibtex-entry]


  8. Shigeru Imai and Carlos A. Varela. A Programming Model for Spatio-Temporal Data Streaming Applications. In Dynamic Data-Driven Application Systems (DDDAS 2012), Omaha, Nebraska, pages 1139-1148, June 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]


  9. Shigeru Imai and Carlos A. Varela. Programming Spatio-Temporal Data Streaming Applications with High-Level Specifications. In 3rd ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data (QUeST) 2012, Redondo Beach, California, USA, November 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]


  10. Wei-Jen Wang, Carlos Varela, Fu-Hau Hsu, and Cheng-Hsien Tang. Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. In Advances in Grid and Pervasive Computing, volume 6104 of Lecture Notes in Computer Science, Bologna, pages 244-255, May 2010. Springer Berlin / Heidelberg. Keyword(s): concurrent programming, actor model, garbage collection, internet programming languages. [Abstract] [bibtex-entry]


  11. Wei-Jen Wang and Carlos A. Varela. Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. In Proceedings of the First International Conference on Grid and Pervasive Computing (GPC 2006), volume 3947 of Lecture Notes in Computer Science, Taichung, Taiwan, pages 360-372, May 2006. Springer. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]


  12. Kaoutar El Maghraoui, J. Flaherty, B. Szymanski, J. Teresco, and Carlos A. Varela. Adaptive Computation over Dynamic and Heterogeneous Networks. In Proc. of the Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM'2003), number 3019 of LNCS, Czestochowa, Poland, pages 1083-1090, September 2003. Keyword(s): grid computing, middleware. [Abstract] [bibtex-entry]


  13. Robin Toll and Carlos A. Varela. Mobility and Security in Worldwide Computing. In Proceedings of the 9th ECOOP Workshop on Mobile Object Systems, Darmstadt, Germany, July 2003. Keyword(s): distributed computing, grid computing, software agents, internet programming languages. [Abstract] [bibtex-entry]


  14. G. Agha, M. Astley, J. Sheikh, and C. A. Varela. Modular Heterogeneous System Development: A Critical Analysis of Java. In J. Antonio, editor, Proceedings of the Seventh Heterogeneous Computing Workshop (HCW '98), pages 144-155, March 1998. IEEE Computer Society. Keyword(s): distributed computing, internet programming languages, concurrent programming, coordination models. [Abstract] [bibtex-entry]


Internal reports
  1. C. A. Varela, G. Agha, W. Wang, T. Desell, K. E. Maghraoui, J. LaPorte, and A. Stephens. The SALSA Programming Language: 1.1.2 Release Tutorial. Technical report 07-12, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]


  2. Wei-Jen Wang and Carlos A. Varela. A Non-Blocking Reference Listing Algorithm for Mobile Active Object Garbage Collection. Technical report 07-05, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]


  3. Wei-Jen Wang and Carlos A. Varela. Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. Technical report 06-04, Dept. of Computer Science, R.P.I., February 2006. Note: Extended Version of GPC'06 Paper. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]


Miscellaneous
  1. 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]


  2. 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]


  3. 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]


  4. 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]


  5. 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]


  6. 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]


  7. 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]


  8. 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]


  9. 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]


  10. 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]



BACK TO INDEX




Disclaimer:

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.




Last modified: Mon Dec 18 15:00:23 2023
Author: led2.


This document was translated from BibTEX by bibtex2html