This paper focuses on technical, social and psychological aspects of the use of a video wall for communications between two geographically separated halves of a university departm...
Many research approaches are conceptualized as binary choices, representing endpoints of a spectrum (each of them providing important perspectives within their own discourses). Des...
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
High Performance computing generally involves some parallel applications to be deployed on the multiples resources used for the computation. The problem of scheduling the applicat...
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...
Francisco J. Cazorla, Peter M. W. Knijnenburg, Riz...