Sciweavers

1578 search results - page 103 / 316
» Self-healing systems - survey and synthesis
Sort
View
SEUS
2008
IEEE
14 years 3 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
CODES
2007
IEEE
14 years 3 months ago
Thread warping: a framework for dynamic synthesis of thread accelerators
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
Greg Stitt, Frank Vahid
LCTRTS
2010
Springer
14 years 4 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
IROS
2009
IEEE
127views Robotics» more  IROS 2009»
14 years 4 months ago
Expressive facial speech synthesis on a robotic platform
— This paper presents our expressive facial speech synthesis system Eface, for a social or service robot. Eface aims at enabling a robot to deliver information clearly with empat...
Xingyan Li, Bruce MacDonald, Catherine I. Watson
CE
2007
100views more  CE 2007»
13 years 9 months ago
Educational resources and implementation of a Greek sign language synthesis architecture
In this paper, we present how creation and dynamic synthesis of linguistic resources of Greek Sign Language (GSL) may serve to support development and provide content to an educat...
Kostas Karpouzis, George Caridakis, Stavroula-Evit...