Sciweavers

1580 search results - page 230 / 316
» Modules for Crosscutting Models
Sort
View
LCPC
1998
Springer
14 years 16 days ago
Compiling for SIMD Within a Register
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
Randall J. Fisher, Henry G. Dietz
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
14 years 2 days ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
ATAL
2008
Springer
13 years 10 months ago
An empathic virtual dialog agent to improve human-machine interaction
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To identify under which circums...
Magalie Ochs, Catherine Pelachaud, David Sadek
ATAL
2008
Springer
13 years 10 months ago
Simulation of individual spontaneous reactive behavior
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
Alejandra García-Rojas, Mario Gutiér...
EDCC
2008
Springer
13 years 10 months ago
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
Gabriella Carrozza, Domenico Cotroneo, Stefano Rus...