Energy efficiency has recently replaced performance as the main design goal for
microprocessors across all market segments. Vectorization, parallelization, specialization …

Shared last-level cache (LLC) management is a critical design issue for heterogeneous
multi-cores. In this paper, we observe two major challenges: the contribution of LLC latency …

Evaluation of new architectural proposals against real applications is a necessary step in
academic research. However, providing benchmarks that keep up with new architectural …

This book aims to achieve the following goals:(1) to provide a high-level survey of key
analytics models and algorithms without going into mathematical details;(2) to analyze the …

Tiivistelmä Langattomien verkkojen kehittyminen on luonut edellytykset useille uusille
sovelluksille. Muiden muassa sosiaalisen media, suoratoistopalvelut, virtuaalitodellisuus ja …

Financial markets change precipitously, and on‐demand pricing and risk models must be
constantly recalibrated to reduce risk. However, certain classes of models are …

The Alea reactive dataflow system represents a general, efficient, and memory-safe model
for homogeneous programming of heterogeneous platforms. Programmers can describe …

Financial markets change precipitously and on-demand pricing and risk models must be
constantly recalibrated to reduce risk. However, certain classes of models are …

Making effective use of the GPU parallel power requires relatively complex and tedious
work: Understandably, most programmers spare the efforts. The Alea reactive dataflow …

This working group met as part of the 1998 Workshop on Industrial-Strength Formal
Specification Techniques (WIFT'98) in Boca Raton, Florida. As the working group title …