Abstract
The rise of high-performance computing and internet-scale applications has spurred a renewed interest in distributed computing. Such distributed applications can range from multi-hop routing algorithms used in wireless mesh networks [1] to volunteer-driven parallel data analysis efforts [2][3]. The property of distributed systems that makes them both powerful and challenging is that they are composed of multiple autonomous, interconnected entities. Managing the interactions between these entities is the primary challenge of distributed application development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Karp, B., Kung, H.T.: Greedy Perimeter State Routing for Wireless Networks. In: Proceedings of the Sixth Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom 2000), Boston, Massachusetts, pp. 243–254 (2000)
Anderson, D.P., Cobb, J., Korpela, E., Lebofsky, M., Werthimer, D.: SETI@home: an experiment in public-resource computing. Communications of the ACM 45(11), 56–61 (2002)
Larson, S.M., Snow, C.D., Shirts, M.R., Pande, V.S.: Folding@Home and Genome@Home: Using distributed computing to tackle previously intractable problems in computational biology. In: Computational Genomics, Horizon Press (2002)
Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states in distributed systems. ACM Transactions on Computer Systems 3(1), 63–75 (1985)
Cooper, R., Marzullo, K.: Consistent Detection of Global Predicates. In: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 167–174 (1991)
De Rosa, M., Goldstein, S., Lee, P., Campbell, J., Pillai, P.: Distributed Watchpoints: Debugging Large Multi-Robot Systems. In: Proceedings of the IEEE International Conference on Robotics and Automation (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Rosa, M. (2009). Locally Distributed Predicates: A Programming Facility for Distributed State Detection. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_62
Download citation
DOI: https://doi.org/10.1007/978-3-642-02846-5_62
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02845-8
Online ISBN: 978-3-642-02846-5
eBook Packages: Computer ScienceComputer Science (R0)