No abstract available.
Cited By
- Drechsler J, Mogk R, Salvaneschi G and Mezini M (2018). Thread-safe reactive programming, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-30), Online publication date: 24-Oct-2018.
- Golan-Gueta G, Bronson N, Aiken A, Ramalingam G, Sagiv M and Yahav E Automatic fine-grain locking using shape properties Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (225-242)
- Golan-Gueta G, Bronson N, Aiken A, Ramalingam G, Sagiv M and Yahav E (2011). Automatic fine-grain locking using shape properties, ACM SIGPLAN Notices, 46:10, (225-242), Online publication date: 18-Oct-2011.
- Park D and Rice S A framework for unified resource management in Java Proceedings of the 4th international symposium on Principles and practice of programming in Java, (113-122)
Recommendations
A concurrent multiway tree using the lazy locking mechanism
CASCON '16: Proceedings of the 26th Annual International Conference on Computer Science and Software EngineeringIn this paper, we present a concurrent multiway tree algorithm using the lazy locking mechanism introduced in the lazy-list algorithm for concurrent linked lists. The multiway tree is represented in a left-child right-sibling tree, in which the keys are ...
Optimizing tree and character compatibility across several phylogenetic trees
Given a set R of rooted phylogenetic trees on overlapping taxa, it takes polynomial time to decide whether or not there exists a rooted phylogenetic tree that is compatible with R. Since not all evolutionary histories for a set of species can be ...
Tree Contractions and Evolutionary Trees
An evolutionary tree is a rooted tree where each internal vertex has at least two children and where the leaves are labeled with distinct symbols representing species. Evolutionary trees are useful for modeling the evolutionary history of species. An ...