1036 search results - page 117 / 208 » Report on INEX 2009 |
PLDI
2009
ACM
15 years 6 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...
145
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Shelf space allocation is the problem of efficiently arranging retail products on shelves in order to maximise profit, improve stock control, improve customer satisfaction, etc. ...
SC
2009
ACM
15 years 6 months ago
2009
ACM
Memory bandwidth limits the performance of important kernels in many scientific applications. Such applications often use sequences of Basic Linear Algebra Subprograms (BLAS), an...
TEI
2009
ACM
15 years 6 months ago
2009
ACM
Drawing on the ‘representation’ TUI framework [21], this paper reports a study that investigated the concept of ‘representation location’ and its effect on interaction and...