ACS
2015
8 years 9 months ago
2015
ACS
2015
8 years 9 months ago
2015
One of the most useful methods for studying the stable homotopy category is localising at some spectrum E. For an arbitrary stable model category we introduce a candidate for the E...
ACS
2015
8 years 9 months ago
2015
: The concepts of fitness and subfitness (as defined in Isbell [9]) are useful separation properties in point-free topology. The categorical behaviour of subfitness is bad and ...
ACS
2015
8 years 9 months ago
2015
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterization...
4OR
2015
8 years 9 months ago
2015
PPOPP
2016
ACM
8 years 9 months ago
2016
ACM
For modern x86 based CPUs with increasingly longer vector lengths, achieving good vectorization has become very important for gaining higher performance. Using very explicit SIMD ...
PPOPP
2016
ACM
8 years 9 months ago
2016
ACM
In Computed Tomography (CT) methods, Model Based Iterative Reconstruction (MBIR) produces higher quality images than commonly used Filtered Backprojection (FBP) but at a very high...
PPOPP
2016
ACM
8 years 9 months ago
2016
ACM
Declarative programming has been hailed as a promising approach to parallel programming since it makes it easier to reason about programs while hiding the implementation details o...
PPOPP
2016
ACM
8 years 9 months ago
2016
ACM
To achieve good multi-core performance, modern microprocessors have weak memory models, rather than enforce sequential consistency. This gives the programmer a wide scope for choo...
PPOPP
2016
ACM
8 years 9 months ago
2016
ACM
The MCS lock is one of the most prevalent queuing locks. It provides fair scheduling and high performance on massively parallel systems. However, the MCS lock mandates a bring-you...