Sciweavers

PPOPP
2015
ACM
9 years 11 months ago
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
We present the lazy happens-before relation (lazy HBR), which ignores mutex-induced edges to provide a more precise notion of state equivalence compared with the traditional happe...
Paul Thomson, Alastair F. Donaldson
PPOPP
2015
ACM
9 years 11 months ago
Towards batched linear solvers on accelerated hardware platforms
As hardware evolves, an increasingly effective approach to develop energy efficient, high-performance solvers, is to design them to work on many small and independent problems. I...
Azzam Haidar, Tingxing Dong, Piotr Luszczek, Stani...
PPOPP
2015
ACM
9 years 11 months ago
Are web applications ready for parallelism?
In recent years, web applications have become pervasive. Their backbone is JavaScript, the only programming language supported by all major web browsers. Most browsers run on desk...
Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, Da...
89
Voted
PPOPP
2015
ACM
9 years 11 months ago
Thread-level parallelization and optimization of NWChem for the Intel MIC architecture
In the multicore era it was possible to exploit the increase in on-chip parallelism by simply running multiple MPI processes per chip. Unfortunately, manycore processors’ greatl...
Hongzhang Shan, Samuel Williams, Wibe de Jong, Leo...
90
Voted
AUIC
2015
IEEE
9 years 11 months ago
The Effectiveness of Transient User Interface Components
With small screen devices, including mobile and tablet based systems, becoming more common, the effective use of available screen space has become a critical skill in the design o...
Dale Patterson, Sean Costain