Sciweavers

7785 search results - page 568 / 1557
» The Concept of Dynamic Analysis
Sort
View
DANCE
2002
IEEE
16 years 8 days ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
16 years 16 hour ago
Spectral analysis of virus spreading in random geometric networks
— In this paper, we study the dynamics of a viral spreading process in random geometric graphs (RGG). The spreading of the viral process we consider in this paper is closely rela...
Victor M. Preciado, Ali Jadbabaie
ICCAD
1997
IEEE
105views Hardware» more  ICCAD 1997»
15 years 11 months ago
Fast field solver-programs for thermal and electrostatic analysis of microsystem elements
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...
Vladimir Székely, Márta Rencz
INFOCOM
1997
IEEE
15 years 11 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester
161
Voted
AE
1997
Springer
15 years 11 months ago
An Analysis of Punctuated Equilibria in Simple Genetic Algorithms
In the running of a genetic algorithm, the population is liable to be con ned in the local optimum, that is the metastable state, making an equilibrium. It is known that, after a l...
Sang-Yeop Oh, Hyunsoo Yoon