5410 search results - page 73 / 1082 » When to Cross Over |
LATA
2010
Springer
14 years 6 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Numerous projects have evaluated the performance of CORBA middleware over the past decade. Interestingly, many of the published results are either gathered or analyzed imprecisely...
ECAL
2001
Springer
14 years 1 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
CSR
2006
Springer
14 years 13 days ago
2006
Springer
Many studies have shown that the imbalance of network channel traffic is of critical effect on the overall performance of multicomputer systems. In this paper, we analytically mode...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
— In this paper, we present design methods to optimize nonlinear phase functions of Generalized DFT (GDFT) for minimized auto and cross correlations. It is shown that GDFT offers...