syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
: This paper proposes QoE-LAOS, a Quality of Experience-oriented adaptive authoring model that enables performance-aware adaptation. It extends the existing LAOS authoring model in...
Cristina Hava Muntean, Gabriel-Miro Muntean, Jenni...
: We examine the problem of identifying, measuring and evaluating communities in blogs. In our approach, we use sense of community (McMillan and Chavis, 1986) and centrality measur...
Following ideas of Richer (2000) we introduce the notion of unordered regressive Ramsey numbers or unordered Kanamori-McAloon numbers. We show that these are of Ackermannian growt...
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
Thomas E. Hart, Paul E. McKenney, Angela Demke Bro...