11991 search results - page 2015 / 2399 » Data Structure Fusion |
206
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
210
click to vote
ESOP
2009
Springer
16 years 2 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...
180
click to vote
ICSE
2009
IEEE-ACM
16 years 2 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 ...
261
click to vote
MCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...
194
click to vote
DSN
2009
IEEE
16 years 2 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...