Sciweavers

5128 search results - page 249 / 1026
» Discrete Component Analysis
Sort
View
GECCO
2005
Springer
153views Optimization» more  GECCO 2005»
16 years 7 days 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
16 years 15 hour 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 11 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...
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 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