1980 search results - page 51 / 396 » Compositional Model Checking of Real Time Systems |
117
click to vote
ISAS
2007
Springer
15 years 6 months ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
109
click to vote
TPDS
2010
14 years 10 months ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
114
click to vote
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
132
click to vote
ECBS
2011
IEEE
13 years 11 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
ICONIP
2007
15 years 1 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...