11231 search results - page 1875 / 2247 » Digging for Data Structures |
140
click to vote
ESOP
2009
Springer
15 years 11 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...
118
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
177
click to vote
MCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...
133
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
128
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper describes a wireless mesh network testbed for research in rapid deployment and auto-configuration of mesh nodes. Motivated by the needs of first responders and mili...