1379 search results - page 223 / 276 » codes 2009 |
106
Voted
CF
2009
ACM
15 years 7 months ago
2009
ACM
Multi-core platforms have proven themselves able to accelerate numerous HPC applications. But programming dataintensive applications on such platforms is a hard, and not yet solve...
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
We describe a new implementation of the well-known incremental algorithm for constructing Delaunay triangulations in any dimension. Our implementation follows the exact computing ...
80
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
94
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...