Sciweavers

663 search results - page 97 / 133
» Synthesis of Self-Testable Controllers
Sort
View
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
15 years 7 months ago
Wavelet-transform-based strategy for generating new Chinese fonts
Based on the cubic B-spline curve, new Chinese fonts are generated by wavelet transforms in this paper. The outlines of Chinese fonts are first transformed into B-spline curves. ...
Jiuchao Feng, C. K. Tse, Yuhui Qiu
CODES
1999
IEEE
15 years 6 months ago
Scheduling with optimized communication for time-triggered embedded systems
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
Paul Pop, Petru Eles, Zebo Peng
FSTTCS
2008
Springer
15 years 3 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn
GPCE
2008
Springer
15 years 3 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 7 months ago
Modelling of the human paralysed lower limb under FES
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
David Guiraud, Philippe Poignet, Pierre-Brice Wieb...