5239 search results - page 531 / 1048 » Model-Integrated Embedded Systems |
209
click to vote
EMSOFT
2004
Springer
16 years 14 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
209
click to vote
ISLPED
2003
ACM
16 years 10 days ago
2003
ACM
We propose a novel power-aware task scheduling algorithm for DVS-enabled real-time multiprocessor systems. Unlike the existing algorithms, the proposed DVS algorithm can handle co...
195
click to vote
AWIC
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Complementary to hypertext navigation, classic information retrieval is broadly used to find information on the World Wide Web and on Web-based systems. Among these there...
176
click to vote
EMSOFT
2003
Springer
16 years 9 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
180
click to vote
FM
2003
Springer
16 years 8 days ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...