Sciweavers

2377 search results - page 267 / 476
» Hybrid Systems in TLA
Sort
View
EUROPAR
2001
Springer
15 years 11 months ago
Multiprocessor Clustering for Embedded Systems
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
Vida Kianzad, Shuvra S. Bhattacharyya
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 4 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 4 months ago
Switching time estimation for linear switched systems: an algebraic approach
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
Yang Tian, Thierry Floquet, Lotfi Belkoura, Wilfri...
NCI
2003
194views Neural Networks» more  NCI 2003»
15 years 7 months ago
Applications of Expert Systems to the Design of Telecommunication Networks
Telecommunication networks have evolved in time thanks to the advances produced by the new technologies and especially, Internet. Expert systems are being applied in management of...
Iñigo Monedero, Carlos León, Robert ...
FUIN
2008
177views more  FUIN 2008»
15 years 6 months ago
A Multi-facet Approach to Dynamic Agent Systems
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Berna...