Sciweavers

4770 search results - page 177 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
PERSUASIVE
2009
Springer
15 years 10 months ago
Designing empathic computers: the effect of multimodal empathic feedback using animated agent
Experiencing emotional distress is the number one reason why people who are undergoing behaviour modification (e.g. quitting smoking, dieting) suffer from relapses. Providing emot...
Hien Nguyen, Judith Masthoff
117
Voted
SAMOS
2004
Springer
15 years 9 months ago
Using CoDeL to Rapidly Prototype Network Processsor Extensions
Abstract. The focus of this work is on techniques that promise to reduce the message delivery latency in message passing environments, incuding clusters of workstations or SMPs. We...
Nainesh Agarwal, Nikitas J. Dimopoulos
154
Voted
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 9 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
CODES
2008
IEEE
15 years 10 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
IJHPCA
2008
75views more  IJHPCA 2008»
15 years 3 months ago
Towards Ultra-High Resolution Models of Climate and Weather
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
Michael F. Wehner, Leonid Oliker, John Shalf