7820 search results - page 21 / 1564 » Formalization of Time and Space |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
EMSOFT
2009
Springer
14 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
DATE
2010
IEEE
14 years 14 days ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
SIAMSC
2008
13 years 7 months ago
2008
We are interested in the numerical approximation of the complex Ginzburg
FORMATS
2005
Springer
14 years 28 days ago
2005
Springer