Sciweavers

5239 search results - page 451 / 1048
» Model-Integrated Embedded Systems
Sort
View
EURODAC
1995
IEEE
131views VHDL» more  EURODAC 1995»
15 years 10 months ago
System level design, a VHDL based approach
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
Joris van den Hurk, Edwin Dilling
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 10 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut
ESOP
2008
Springer
15 years 9 months ago
A Hybrid Denotational Semantics for Hybrid Systems
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
Olivier Bouissou, Matthieu Martel
JSI
1998
125views more  JSI 1998»
15 years 6 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
FGCS
2010
91views more  FGCS 2010»
15 years 5 months ago
Real-time performance analysis for publish/subscribe systems
The publish/subscribe communication system have been popular communication model in many area. Especially, it is well suited for distributed real-time system in many ways. However,...
Sangyoon Oh, Jai-Hoon Kim, Geoffrey Fox