320 search results - page 17 / 64 » Constructing Invariants for Hybrid Systems |
167
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
132
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
140
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
137
click to vote
IESS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
184
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...