Sciweavers

1363 search results - page 211 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
CRIWG
2001
14 years 11 months ago
The Virtual Tea Room - Experiences with a New Type of Social Space
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...
Renee Gedge, David Abramson
FIRSTMONDAY
2006
70views more  FIRSTMONDAY 2006»
14 years 9 months ago
Beyond binary choices: Understanding and exploiting trade-offs to enhance creativity
Many research approaches are conceptualized as binary choices, representing endpoints of a spectrum (each of them providing important perspectives within their own discourses). Des...
Gerhard Fischer
LICS
2007
IEEE
15 years 4 months ago
Strong Normalization as Safe Interaction
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...
Colin Riba
IPPS
2008
IEEE
15 years 4 months ago
Large-scale experiment of co-allocation strategies for Peer-to-Peer supercomputing in P2P-MPI
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...
Stéphane Genaud, Choopan Rattanapoka
CASES
2005
ACM
14 years 11 months ago
Architectural support for real-time task scheduling in SMT processors
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...