Sciweavers

1399 search results - page 46 / 280
» A Component Model for Control-Intensive Distributed Embedded...
Sort
View
TC
2010
13 years 2 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
WOSP
2004
ACM
14 years 1 months ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
JBCS
2002
102views more  JBCS 2002»
13 years 7 months ago
Configurable Data Integration Middleware System
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
Álvaro Cesar P. Barbosa, Fabio Porto, Ruben...
RTAS
2008
IEEE
14 years 2 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
NIPS
2003
13 years 9 months ago
Inferring State Sequences for Non-linear Systems with Embedded Hidden Markov Models
We describe a Markov chain method for sampling from the distribution of the hidden state sequence in a non-linear dynamical system, given a sequence of observations. This method u...
Radford M. Neal, Matthew J. Beal, Sam T. Roweis