Peter M. Musial

Affiliations:
  • CSAIL MIT


According to our database1, Peter M. Musial authored at least 18 papers between 2004 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
A coded shared atomic memory algorithm for message passing architectures.
Distributed Comput., 2017

2014
Implementing distributed shared memory for dynamic networks.
Commun. ACM, 2014

2013
Tempo-Toolkit: Tempo to Java Translation Module.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

2010
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

2009
Developing a Consistent Domain-Oriented Distributed Object Service.
IEEE Trans. Parallel Distributed Syst., 2009

Reconfigurable distributed storage for dynamic networks.
J. Parallel Distributed Comput., 2009

On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

2008
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Formal Reasoning about Software Object Translations.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Spontaneous, Self-Sampling Quorum Systems for Ad Hoc Networks.
Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

2007
Long-lived Rambo: Trading knowledge for communication.
Theor. Comput. Sci., 2007

A formal treatment of an abstract channel implementation using java sockets and TCP.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Implementing Atomic Data through Indirect Learning in Dynamic Networks.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2006
Reliability Properties of Models for Flexible Design and Run-Time Analysis.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

2005
Explicit Combinatorial Structures for Cooperative Distributed Algorithms.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Operation Liveness and Gossip Management in a Dynamic Distributed Atomic Data Service.
Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing Systems, 2005

2004
Implementing a Reconfigurable Atomic Memory Service for Dynamic Networks.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004


  Loading...