Sciweavers

5128 search results - page 249 / 1026
» Discrete Component Analysis
Sort
View
136
Voted
GECCO
2005
Springer
153views Optimization» more  GECCO 2005»
15 years 11 months ago
Harmony search for structural design
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
Zong Woo Geem, Kang Seok Lee, Chung-Li Tseng
ANSS
2003
IEEE
15 years 11 months ago
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
Alexandre Muzy, Eric Innocenti, Jean Franço...
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 11 months ago
A contractivity approach for probabilistic bisimulations of diffusion processes
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
Alessandro Abate
ICDCS
1998
IEEE
15 years 10 months ago
Some Economics of Market-Based Distributed Scheduling
Market mechanisms solve distributed scheduling problems by allocating the scheduled resources according to market prices. We model distributed scheduling as a discrete resource al...
William E. Walsh, Michael P. Wellman, Peter R. Wur...
194
Voted
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 10 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi