871 search results - page 70 / 175 » Modular Design of Reactive Systems |
ISORC
1999
IEEE
14 years 5 days ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...
AUTOMATICA
2000
13 years 7 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
SAC
2003
ACM
14 years 1 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...