Sciweavers

Share
ACS
2015
4 years 2 months ago
Homological Localisation of Model Categories
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...
David Barnes, Constanze Roitzheim
ACS
2015
4 years 2 months ago
More on Subfitness and Fitness
: 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 ...
Jorge Picado, Ales Pultr
ACS
2015
4 years 2 months ago
On Algebraic and More General Categories Whose Split Epimorphisms Have Underlying Product Projections
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...
James Richard Andrew Gray, N. Martins-Ferreira
4OR
2015
4 years 2 months ago
Competitive location in cognitive radio networks
Stefano Iellamo, Ekaterina Alekseeva, Lin Chen, Ma...
PPOPP
2016
ACM
4 years 3 months ago
Auto-vectorizing a large-scale production unstructured-mesh CFD application
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 ...
Gihan R. Mudalige, I. Z. Reguly, Michael B. Giles
PPOPP
2016
ACM
4 years 3 months ago
High performance model based image reconstruction
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...
Xiao Wang, Amit Sabne, Sherman J. Kisner, Anand Ra...
PPOPP
2016
ACM
4 years 3 months ago
Declarative coordination of graph-based parallel programs
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...
Flávio Cruz, Ricardo Rocha, Seth Copen Gold...
PPOPP
2016
ACM
4 years 3 months ago
Benchmarking weak memory models
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...
Carl G. Ritson, Scott Owens
PPOPP
2016
ACM
4 years 3 months ago
Be my guest: MCS lock now welcomes guests
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...
Tianzheng Wang, Milind Chabbi, Hideaki Kimura
books