Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
State of the art data centers use wired sensors embedded in equipment for thermal monitoring. The high cost of sensor installation restricts equipment relocation. We propose using...
Malena R. Mesarina, Cyril Brignone, Tim Connors, M...
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...