4536 search results - page 832 / 908 » Contention-Sensitive Data Structures and Algorithms |
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
MCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...
WCRE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
BPM
2009
Springer
14 years 4 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...