670 search results - page 110 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
ESWA
2011
13 years 2 months ago
2011
This paper presents a multi-objective optimisation model and algorithms for scheduling of radiotherapy treatments for categorised cancer patients. The model is developed considerin...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
An Estimation of Distribution Algorithm (EDA) is proposed to approach the Hybrid Flow Shop with Sequence Dependent Setup Times and Uniform Machines in parallel (HFSSDST-UM) proble...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...