5600 search results - page 296 / 1120 » Synthesizing robust systems |
155
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents the implementation of the CU VOCAL Web service, one of the first Chinese text-to-speech synthesis Web services. The CU VOCAL Web service can be easily integrat...
145
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
144
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
165
click to vote
ARCS
2005
Springer
16 years 5 days ago
2005
Springer
Dynamic Reconfiguration has always constituted a challenge for embedded systems designers. Nowadays, technological developments make possible to do it on Xilinx FPGAs, but setting...
153
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...