2042 search results - page 201 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
JSW
2008
13 years 9 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
VIS
2009
IEEE
14 years 10 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
SIAMSC
2011
13 years 4 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
WSC
1998
13 years 10 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
EMSOFT
2006
Springer
14 years 29 days ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...