7557 search results - page 580 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
204
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
190
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
179
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
188
click to vote
SIMPRA
2010
15 years 5 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...