688 search results - page 105 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
IPPS
2002
IEEE
14 years 19 days ago
2002
IEEE
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
ALMOB
2006
13 years 7 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
MAGS
2008
13 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
INFORMATICALT
2010
13 years 6 months ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...