Sciweavers

1578 search results - page 178 / 316
» Self-healing systems - survey and synthesis
Sort
View
ISMVL
1999
IEEE
72views Hardware» more  ISMVL 1999»
14 years 17 days ago
Information Relationships and Measures in Application to Logic Design
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
Lech Józwiak
HYBRID
1999
Springer
14 years 17 days ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler
AUTOMATICA
2007
104views more  AUTOMATICA 2007»
13 years 8 months ago
Improving off-line approach to robust MPC based-on nominal performance cost
This paper gives two alternative off-line synthesis approaches to robust model predictive control (RMPC) for systems with polytopic description. In each approach, a sequence of ex...
BaoCang Ding, YuGeng Xi, Marcin T. Cychowski, Thom...
CODES
2005
IEEE
14 years 1 months ago
SOMA: a tool for synthesizing and optimizing memory accesses in ASICs
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
Girish Venkataramani, Tiberiu Chelcea, Seth Copen ...
GW
2007
Springer
85views Biometrics» more  GW 2007»
14 years 2 months ago
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...
Alexis Heloir, Sylvie Gibet