|
Please note that citations annotated with ^ are currently submitted
to a journal review. Documents indexed with * are currently
being written up or are in the submission process. Authors are listed
in the alphabetical order of their last names.
|
|
J2) G. Chockler, S. Gilbert, V.C. Gramoli, P.M. Musial, and A.A.
Shvartsman.
Reconfigurable Distributed Storage for Dynamic Networks.
J. of Parallel and Distributed Computing, 69(1):100--116, January 2009.
|
|
J1) C. Georgiou, P.M. Musial, and A.A. Shvartsman.
Long-Lived RAMBO: Trading Knowledge for Communication.
Theoretical Computer Science, 383(1):59--85, September 2007.
|
|
*) D. Kowalski, P.M. Musial.
Travel overhead in area reconnaissance by autonomous failure prone robots. In progress.
|
|
*) C. Georgiou, N. Hadjiprocopiou, P.M. Musial.
Evaluating a Dependable Sharable Atomic Data Service on a Planetary-scale Network.
In progress.
|
|
13) V. Berzins, Luqi, P.M. Musial.
Formal Reasoning about Software Object Translations.
In submission to 15th Monterey Workshop, 2008.
[ABS (html)]
|
|
12) K.M. Konwar, P.M. Musial, and A.A. Shvartsman.
Spontaneous, Self-Sampling Quorum Systems for Sensor Networks.
In Proc. of 7'th International Symposium on Parallel and Distributed Computing (ISPDC), pp xx-xx, 2008.
[ABS (html)]
|
|
11) C. Georgiou, P.M. Musial, A.A. Shvartsman, and E. Sonderegger.
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.
In Proc. of 7'th IEEE
International Symposium on Network Computing and Applications (IEEE NCA), pp 211--219, 2008.
[ABS (html)]
|
|
10) K.M. Konwar, P.M. Musial, N.C. Nicolaou, and A.A. Shvartsman.
Implementing Atomic Data through Indirect Learning in Dynamic Networks. In Proc. of 6'th IEEE
International Symposium on Network Computing and Applications (IEEE NCA), pp. 223--230,
2007.
[ABS (html)]
|
|
9) V. Berzins, Luqi, P.M. Musial.
Reliability Properties of Models for Flexible Design and Run-time
Analysis.
In Proc. of 13'th Monterey Workshop, pp. 207--219, 2006.
[ABS (html)]
|
|
8) C. Georgiou, P.M. Musial, A.A. Shvartsman, and E. Sonderegger.
A Formal Treatment of an Abstract Channel Implementation Using Java Sockets.
Technical Report BECAT/CSE-TR-06-10, UConn CSE, December 2006.
[ABS (html)]
|
|
7) G. Chockler, S. Gilbert, V.C. Gramoli, P.M. Musial, and A.A. Shvartsman.
Reconfigurable Distributed Storage for Dynamic Networks.
In Proc. of the 9'th International Conference on Principles of
Distributed Systems (OPODIS), pp. 272--283, 2005.
[ABS (html)]
|
|
6) V.C. Gramoli, P.M. Musial, and A.A. Shvartsman.
Operation Liveness in a Dynamic Distributed Atomic Data
Service with Efficient Gossip Management.
In Proc. of the 18'th International Conference on Parallel and
Distributed Computing Systems (PDCS), 2005.
[ABS (html)]
|
|
5^) C. Georgiou, P.M. Musial, and A.A. Shvartsman.
Developing a Consistent Domain-Oriented Distributed Object Service.
In Proc. of the 4'th IEEE International Symposium on Network Computing and
Applications (IEEE NCA), pp. 149--158, 2005.
[ABS (html)]
|
|
4^) D. Kowalski, P.M. Musial, and A.A. Shvartsman.
Explicit Combinatorial Structures for Cooperative Distributed Algorithms.
In Proc. of the 25'th International Conference on Distributed Computing Systems
(ICDCS), pp. 49--58, 2005.
[ABS (html)]
|
|
3) C. Georgiou, P.M. Musial, and A.A. Shvartsman.
Long-Lived RAMBO:Trading Knowledge for Communication.
In Proc. of the 11'th Colloquium on Structural Information and Communication Complexity
(SIROCCO), Springer, pp. 185--196, 2004.
[ABS (html)]
|
|
2) P.M. Musial and A.A. Shvartsman.
Implementing a Reconfigurable Atomic Memory Service for Dynamic Networks.
In Proc. of the 18'th International Parallel and Distributed Symposium -- FTPDS WS., pp.
208b, 2004.
[ABS (html)]
|
|
1) S. Dolev, S. Gilbert, N. Lynch, P. Musial, A.A. Shvartsman, J. Welch.
Atomic object services for mobile and dynamic networks.
In Proc. of the the 7'th International Workshop on Interconnection Networks (IWIN),
2003, pg. 15.
[ABS (html)]
[pdf]
|
|
2) C. Georgiou, P.M. Musial, A.A. Shvartsman, and E. Sonderegger.
Brief Announcement: A Formal Treatment of an Abstract Channel Implementation Using Java Sockets and TCP.
In Proc. of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, pp. 334--335, 2007.
|
|
1) C. Georgiou, K. Konwar, P.M. Musial, and A.A. Shvartsman: Survivable and Consistent
Data for Dynamic Networks, poster abstract for International Conference on Advanced
Technologies for Homeland Security (ICATHS 2003), Storrs, CT, 2003.
[ps]
|
|
Peter M Musial. From High Level Specification to Executable Code:
Specification, Refinement, and Implementation of a Survivable and
Consistent Data Service for Dynamic Networks.
University of Connecticut,
PhD Thesis, 2007.
[ABS (html)]
|
|
Peter M Musial. Computational requirements of the beam-space post-doppler
space time adaptive processing algorithm. University of Connecticut, MS Thesis 2001.
[ABS (html)]
|
|
Peter M Musial, Alexander Russell, Alex A. Shvartsman, Reducing
Doppler Filtering Processing in STAP Implementations, in TechOnLine:
OSEE II, Nov. 2001
[ABS (html)]
[html]
|