4434 search results - page 410 / 887 » On the Composition of Hybrid Systems |
174
click to vote
EMSOFT
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
128
click to vote
FPL
2005
Springer
16 years 11 days ago
2005
Springer
SRAM-based FPGAs have an inherent capacity for defect tolerance. We propose a simple scheme that exploits this potential in multiple-FPGA systems. The symmetry of the system is ex...
188
click to vote
ICESS
2004
Springer
16 years 6 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
179
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
This paper shows that geographic information system can successfully solve TSP (travelling salesman problem). It has been done using a module of the designed and implemented by aut...
132
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...