1980 search results - page 366 / 396 » Compositional Model Checking of Real Time Systems |
MJ
2006
13 years 9 months ago
2006
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
EXPERT
2011
13 years 14 days ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...
ADAPTIVE
2007
Springer
13 years 10 months ago
2007
Springer
With the exponential growth of the available information on the World Wide Web, a traditional search engine, even if based on sophisticated document indexing algorithms, has diffi...